Correct calls to all methods that may potentially modify state, i.e all those that may call consumeChar(), as they all need a pointer