1// re2c $INPUT -o $OUTPUT
2/*!re2c
3
4any = [\000-\377];
5
6.       { return 0; }
7any     { return 1; }
8
9*/
10