1// re2c $INPUT -o $OUTPUT -s
2/*!re2c
3
4letter  = [a-zA-Z];
5digit   = [0-9];
6number  = "0" | ("-"? [1-9] digit*);
7name    = letter (letter|digit)*;
8config  = "re2c:" (letter|"_") (letter|digit|"_"|":")*;
9
10config	{ return 0; }
11name	{ return 1; }
12number	{ return 2; }
13
14.|"\n"	{ return -1; }
15
16*/
17