Generated files for re2c check.