/*!re2c
"\xFF\uFFFF\U0010FFFF\U00110000" {}
*/