#include <stdio.h>

int correr_interprete();

int main()
{
  printf("rv = %d\n", correr_interprete());
  return 0;
}