1// re2c $INPUT -o $OUTPUT
2/*!re2c
3	"print"		{return PRINT;}
4	[a-z]+		{return ID;}
5	[0-9]+		{return DEC;}
6	"0x" [0-9a-f]+	{return HEX;}
7	[\000-\377]	{return ERR;}
8*/
9