there is a bug in the tokenizer, not reading INTEGER correctly"