let interf = Gram.Entry.mk "interf"