anchor.diff:      maps:get(Adr band ?MASK160, maps:get(ext_code_sizes, State), 0).
   extcode(Account, Start, Length, State) ->
       CodeBlock = maps:get(Account band ?MASK160,
  -			 maps:get(ext_code_blocks, State), <<>>),
  +                         maps:get(ext_code_blocks, State), <<>>),
       aevm_eeevm_utils:bin_copy(Start, Length, CodeBlock).
   extcode(Account, State) ->
       maps:get(Account band ?MASK160,
  -	     maps:get(ext_code_blocks, State), <<>>).
  +             maps:get(ext_code_blocks, State), <<>>).
   extbalance(Account, State) ->
       maps:get(Account band ?MASK160,
  -	     maps:get(balances, State), <<>>).
  +             maps:get(balances, State), <<>>).
   no_recursion(State) ->
       maps:get(no_recursion, State).
   
  
positive.code:     Code = aevm_eeevm_state:code(State),
      OP   = aevm_eeevm:code_get_op(CP, Code),
      case do_trace(State) of
  	true ->
  	    F = trace_fun(State),
  	    F("[~4.16.0B] ~8.16.0B : ~w",
  	      [Account, CP, aevm_opcodes:op_name(OP)]),
  	    F(" ~w", [stack(State)]),
  	    F(" ~s", [format_mem(mem(State))]),
  	    F(" ~p", [gas(State)]),
  	    F(String, Argument),
  	    add_trace([{CP, OP, aevm_opcodes:op_name(OP)}], State);
  	false ->
  	    State
      end.
  
  -define(MAXMEMPOS,5).
  
negative.code: get_balances(#{} = Pre) ->
      maps:from_list(
        [{Address, B} || {Address, #{balance := B}}
                             <- maps:to_list(Pre)]).
  
  get_blockhash_fun(Opts, Env, H) ->
      case maps:get(blockhash, Opts, default) of
          %% default -> fun(N,A) -> aevm_eeevm_env:get_block_hash(H,N,A) end;
          %% sha3 ->
          _ -> fun(N,_A) ->
                          %% Because the data of the blockchain is not
                          %% given, the opcode BLOCKHASH could not
                          %% return the hashes of the corresponding
                          %% blocks. Therefore we define the hash of
                          %% block number n to be SHA3-256("n").
                          CurrentNumber = maps:get(currentNumber, Env),
                          if (N >= CurrentNumber) or (_A == 256) or (H==0) -> 0;
                             CurrentNumber - 256 > N -> 0;
                             true ->
                                  BinN = integer_to_binary(N),
                                  Hash = aec_hash:hash(evm, BinN),
                                  <<Val:256/integer-unsigned>> = Hash,
                                  Val
                          end
                  end
      end.
  
  
  