yyget_text
char *yyget_text (void );
char *yyget_text (void );
char *yyget_text (void );
char *yyget_text ( void );
char *yyget_text ( void );
extern char *yyget_text(void *scanner);
if (!yyget_text(scanner))
else if (!yyget_text(scanner)[0])
yyget_text(scanner), s);