Symbol: test_ecdh_kat