pub unsafe extern "C" fn do_verify_contract( context: *mut c_void, contract_bytes: *const u8, contract_len: u32, ) -> VerifyContractResult