I added the missing “stuff” error verification and recovery to the “parser_assert” function and the “is_follow” code for almost all non-terminal symbols of the grammar. At last, there is a tiny bit of synchronisation code inside of “stmt” for the cases of attribution and procedure calls.