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