#include <stdio.h>
#include <string.h>

char stack [3][255];
int stackPosition = 0;

void Push()
{
      strcpy(stack[stackPosition], yytext);
      stackPosition++;
}

char *Pop()
{
      return(stack[--stackPosition]);
}