Symbol: order_seq