let virtual_flag_quot = Gram.Entry.mk "virtual_flag_quot"