[WIP] Use lexer 

This shouldn't be checked here, IMO. The process should fail if at the end the counter doesn't go back to `0`