anchor.diff:      %% Check results
       ExpectedResult =
           fun({withdraw, _, _, ok})       -> {};
  -           ({withdraw, _, _, error})    -> error;
  +           ({withdraw, _, _, error})    -> {error, <<"out_of_gas">>};
              ({contribute, _, _, Height}) -> Height < Deadline end,
       lists:foreach(fun({E, Res}) ->
           Expect = ExpectedResult(E),
  
positive.code:                                         {set_s, StrMap, MapS, <<"four">>, {7, 8}}],
              K <- maps:keys(Map) ++ [New] ] ++
          %% setx (not setx_state)
          [ [{Fn, Type, {K, V, Map}, case Map of #{K := {_, Y}} -> Map#{K => {V, Y}}; _ -> error end}]
           || {Fn, Type, Map, New, V} <- [{setx_i, IntMap, MapI, 4, 7},
                                          {setx_s, StrMap, MapS, <<"four">>, 7}],
              K <- maps:keys(Map) ++ [New] ] ++
          %% addx (not addx_state)
          [ [{Fn, Type, {K, V, Map}, case Map of #{K := {X, Y}} -> Map#{K => {X + V, Y}}; _ -> error end}]
           || {Fn, Type, Map, New, V} <- [{addx_i, IntMap, MapI, 4, 7},
                                          {addx_s, StrMap, MapS, <<"four">>, 7}],
              K <- maps:keys(Map) ++ [New] ] ++
  
negative.code:     {} = ?call(call_contract, Acc, Ct, transfer, {tuple, []}, {Ct, Acc, NHash, 0},   #{ height => 12 }),
      ok = ?call(aens_update, Acc, NHash, Pointers),
      {some, URL} = ?call(call_contract, Acc, Ct, resolve_string, {option, string}, {Name1, <<"name">>}),
      {error, <<"out_of_gas">>} = ?call(call_contract, Acc, Ct, revoke, {tuple, []}, {Ct, NHash, 0}, #{ height => 13 }),
  
      ok.
  
  