Symbol: hton_seq