Editing: pgen.h