pub unsafe extern "C" fn EverCrypt_Ed25519_verify( pubkey: *mut u8, len: u32, msg: *mut u8, signature: *mut u8, ) -> bool