re2c: error: line 11, column 4428: bad code point range: '0xD7FC - 0xF8FF'