Symbol: test_seq_of