Symbol: write_ordering_e