A very simple extension of Combinator Parsers with State