pub unsafe extern "C" fn EverCrypt_Ed25519_secret_to_public( public_key: *mut u8, private_key: *mut u8 )