1// re2c $INPUT -o $OUTPUT
2/*!re2c
3
4DEF1	= ("a"|"b")/[1] ;
5DEF2	= ("a"|"b")/[0-9]+ ;
6
7DEF1    { return KEYWORD; }
8DEF2	{ return KEYWORD; }
9[0-9]+	{ return NUMBER;  }
10
11[^]		{ return UNEXPECTED; }
12
13*/
14