/* Generated by re2c */
#line 1 "config12_error2.re"
#line 6 "config12_error2.re"