Implementations of hoc with PEG