let direction_flag_quot = Gram.Entry.mk "direction_flag_quot"