/*!re2c
	[\u0800-\u0FFF]	{ return 0; }
*/