let labeled_ipatt = Gram.Entry.mk "labeled_ipatt"