S: A;
A ::= B;
B ::= "[0-9]+" $name "someint";