let direction_flag = Gram.Entry.mk "direction_flag"