Symbol: tls1_check_ec_server_key