Example of a parser that benefits from lazy buffer propagation.