let opt_rec = Gram.Entry.mk "opt_rec"