Symbol: seq_num_test