Switching to parsec: user state will be needed in parser