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