let rec_flag_quot = Gram.Entry.mk "rec_flag_quot"