Symbol: do_seq_num_test_tls12