/* Generated by re2c */
#line 1 "config12.re"
#line 65 "config12.re"