Wrong infinite loop

[ftynse]

The rule

loop_infinite:
    WHILE '(' INTEGER ')'
  | FOR '(' ';' ';' ')'
  ;

in source/parser.y does match the code

while (0) { 
}

which is not infinite and is not even executed.

[ftynse]

In the grammar, to differentiate between zero and all other integers one must make integer a non-terminal symbol, which sounds weird.