let override_flag_quot = Gram.Entry.mk "override_flag_quot"