let patt_eoi = Gram.Entry.mk "patt_eoi"