static void yyunput (int c, register char * yy_bp , yyscan_t yyscanner)
__attribute__((unused));
static int input (yyscan_t yyscanner) __attribute__((unused));
static void yyunput (int c, register char * yy_bp , yyscan_t yyscanner)
__attribute__((unused));
static int input (yyscan_t yyscanner) __attribute__((unused));