Symbol: curve25519_test_vector