/*!re2c
    number = [1-9][0-9]*;
*/