/* Generated by re2c */
#line 1 "ctx.re"
#include <cstring>
#include <iostream>

struct Scanner
{
	Scanner(char *txt)
		: cur(txt), lim(txt + strlen(txt))
	{
	}
	
	char    *cur;
	char    *lim;
	char	*ptr;
	char	*ctx;
	char    *tok;
};

#define	YYCTYPE		char
#define	YYCURSOR	s.cur
#define	YYLIMIT		s.lim
#define	YYMARKER	s.ptr
#define	YYCTXMARKER	s.ctx
#define	YYFILL(n)	

enum What
{
	UNEXPECTED,
	KEYWORD,
	NUMBER,
	EOI
};

char * tokens[] = { "UNEXPECTED", "KEYWORD", "NUMBER", "EOI" };


int scan(Scanner &s)
{
	YYCTYPE *cursor = s.cur;

	if(cursor == s.lim)
		return EOI;
	
std:
	s.tok = cursor;


#line 50 "<stdout>"
{
	YYCTYPE yych;

	if((YYLIMIT - YYCURSOR) < 3) YYFILL(3);
	yych = *YYCURSOR;
	switch(yych) {
	case 0x09:
	case ' ':	goto yy6;
	case 0x0A:	goto yy8;
	case '0':
	case '1':
	case '2':
	case '3':
	case '4':
	case '5':
	case '6':
	case '7':
	case '8':
	case '9':	goto yy4;
	case 'a':
	case 'b':	goto yy2;
	default:	goto yy9;
	}
yy2:
	YYCTXMARKER = YYCURSOR + 1;
	++YYCURSOR;
	switch((yych = *YYCURSOR)) {
	case '0':
	case '2':
	case '3':
	case '4':
	case '5':
	case '6':
	case '7':
	case '8':
	case '9':	goto yy12;
	case '1':	goto yy15;
	default:	goto yy3;
	}
yy3:
#line 60 "ctx.re"
	{
		return UNEXPECTED;
	}
#line 95 "<stdout>"
yy4:
	++YYCURSOR;
	yych = *YYCURSOR;
	goto yy11;
yy5:
#line 50 "ctx.re"
	{ return NUMBER;  }
#line 103 "<stdout>"
yy6:
	++YYCURSOR;
yy7:
#line 53 "ctx.re"
	{
		if(s.cur == s.lim)
			return EOI;
		cursor = s.cur;
		goto std;
	}
#line 114 "<stdout>"
yy8:
	yych = *++YYCURSOR;
	goto yy7;
yy9:
	yych = *++YYCURSOR;
	goto yy3;
yy10:
	++YYCURSOR;
	if(YYLIMIT == YYCURSOR) YYFILL(1);
	yych = *YYCURSOR;
yy11:
	switch(yych) {
	case '0':
	case '1':
	case '2':
	case '3':
	case '4':
	case '5':
	case '6':
	case '7':
	case '8':
	case '9':	goto yy10;
	default:	goto yy5;
	}
yy12:
	++YYCURSOR;
	if(YYLIMIT == YYCURSOR) YYFILL(1);
	yych = *YYCURSOR;
	switch(yych) {
	case '0':
	case '1':
	case '2':
	case '3':
	case '4':
	case '5':
	case '6':
	case '7':
	case '8':
	case '9':	goto yy12;
	default:	goto yy14;
	}
yy14:
	YYCURSOR = YYCTXMARKER;
#line 49 "ctx.re"
	{ return KEYWORD; }
#line 160 "<stdout>"
yy15:
	++YYCURSOR;
	switch((yych = *YYCURSOR)) {
	case '0':
	case '1':
	case '2':
	case '3':
	case '4':
	case '5':
	case '6':
	case '7':
	case '8':
	case '9':	goto yy12;
	default:	goto yy16;
	}
yy16:
	YYCURSOR = YYCTXMARKER;
#line 48 "ctx.re"
	{ return KEYWORD; }
#line 180 "<stdout>"
}
#line 63 "ctx.re"

}

#define YYMAXFILL 3

int main(int,char**)
{
	Scanner s("a77 a1 b8 b1");
	
	int t, n = 0;
	while ((t = scan(s)) != EOI)
	{
		std::cout << (++n) << ": " << tokens[t] << " = \""; std::cout.write(s.tok, s.cur-s.tok); std::cout << "\"" << std::endl;
	}
}