1// re2c $INPUT -o $OUTPUT
2/*!re2c
3
4any = [\000-\377];
5
6"\000"       { return 1; }
7"\001"       { return 2; }
8"\007"       { return 3; }
9"\010"       { return 4; }
10"\100"       { return 5; }
11"\123"       { return 6; }
12"\3567"      { return 7; }
13
14"\x02"       { return 8; }
15"\x20"       { return 9; }
16"\x34"       { return 10; }
17"\xab"       { return 11; }
18"\xCD"       { return 12; }
19any          { return 0; }
20
21*/
22