The fastest pure-Python PEG parser I can muster