Sometimes it seems to forget to clear the upper 32 bits when pushing an int.

Rev: src/language.yacc:1.98