Symbol: seq_t