Another PEG frontend