let dummy = Gram.Entry.mk "dummy"