/*!re2c
	"print"		{return PRINT;}
	[a-z]+		{return ID;}
	[0-9]+		{return DEC;}
	"0x" [0-9a-f]+	{return HEX;}
	[\000-\377]	{return ERR;}
*/