/*!re2c
	[\U00010000-\U0003FFFF]	{ return 0; }
*/