anchor.diff:  
       MkOption = fun(undefined) -> none; (X) -> {some, X} end,
   
  +    OogErr = {error, <<"out_of_gas">>},
       Calls = lists:append(
           %% get
  -        [ [{Fn,  Pt, {K, Map}, maps:get(K, Map, error)},
  -           {FnS, Pt, K,        maps:get(K, Map, error)}]
  +        [ [{Fn,  Pt, {K, Map}, maps:get(K, Map, OogErr)},
  +           {FnS, Pt, K,        maps:get(K, Map, OogErr)}]
            || {Fn, FnS, Map, Err} <- [{get_i, get_state_i, MapI, 4},
                                       {get_s, get_state_s, MapS, <<"four">>}],
               K <- maps:keys(Map) ++ [Err] ] ++
  
positive.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       = ?call(call_contract, Acc, Ct, revoke, {tuple, []}, {Ct, NHash, 0}, #{ height => 13 }),
  
      ok.
  
  
negative.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}}; _ -> OogErr 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}}; _ -> OogErr end}]
           || {Fn, Type, Map, New, V} <- [{addx_i, IntMap, MapI, 4, 7},
                                          {addx_s, StrMap, MapS, <<"four">>, 7}],
              K <- maps:keys(Map) ++ [New] ] ++
  