/* Generated by re2c */ #line 1 "bug142.re" &