pub unsafe extern "C" fn EverCrypt_Ed25519_sign_expanded( signature: *mut u8, expanded_keys: *mut u8, msg_len: u32, msg: *mut u8 )