Use OWHILE to make pegexec with well-formed grammar more obviously total