let opt_virtual = Gram.Entry.mk "opt_virtual"