/*!re2c

"\x00"	{ return 1; }
[^]	{ return 3; }

*/