anchor.diff:      NoRecursion = maps:get(no_recursion, Opts, false),
   
       State =
  -	#{ address     => Address
  -	 , caller      => maps:get(caller, Exec)
  -	 , return_data => maps:get(return_data, Exec, <<>>)
  -	 , data        => maps:get(data, Exec)
  -	 , gas         => maps:get(gas, Exec)
  -	 , gas_price   => maps:get(gasPrice, Exec)
  -	 , origin      => maps:get(origin, Exec)
  -	 , value       => maps:get(value, Exec)
  -	 , calldepth   => 0
  -
  -	 , coinbase   => maps:get(currentCoinbase, Env)
  -	 , difficulty => maps:get(currentDifficulty, Env)
  -	 , gas_limit  => maps:get(currentGasLimit, Env)
  -	 , number     => maps:get(currentNumber, Env)
  -	 , timestamp  => maps:get(currentTimestamp, Env)
  -
  -	 , balances        => get_balances(Pre)
  -	 , ext_code_blocks => get_ext_code_blocks(Pre)
  -	 , ext_code_sizes  => get_ext_code_sizes(Pre)
  -	 , block_hash_fun  => BlockHashFun
  -	 , no_recursion => NoRecursion
  -
  -	 , do_trace  => maps:get(trace, Opts, false)
  -	 , trace => []
  -	 , trace_fun => init_trace_fun(Opts)
  +        #{ address     => Address
  +         , caller      => maps:get(caller, Exec)
  +         , return_data => maps:get(return_data, Exec, <<>>)
  +         , data        => maps:get(data, Exec)
  +         , gas         => maps:get(gas, Exec)
  +         , gas_price   => maps:get(gasPrice, Exec)
  +         , origin      => maps:get(origin, Exec)
  +         , value       => maps:get(value, Exec)
  +         , calldepth   => 0
  +
  +         , coinbase   => maps:get(currentCoinbase, Env)
  +         , difficulty => maps:get(currentDifficulty, Env)
  +         , gas_limit  => maps:get(currentGasLimit, Env)
  +         , number     => maps:get(currentNumber, Env)
  +         , timestamp  => maps:get(currentTimestamp, Env)
  +
  +         , balances        => get_balances(Pre)
  +         , ext_code_blocks => get_ext_code_blocks(Pre)
  +         , ext_code_sizes  => get_ext_code_sizes(Pre)
  +         , block_hash_fun  => BlockHashFun
  +         , no_recursion => NoRecursion
  +
  +         , do_trace  => maps:get(trace, Opts, false)
  +         , trace => []
  +         , trace_fun => init_trace_fun(Opts)
   
            , chain_state => maps:get(chainState, Env)
            , chain_api   => maps:get(chainAPI, Env)
   
  -	 , environment =>
  -	       #{ spec => Spec
  -		, options => Opts }
  -
  -	 },
  +         , environment =>
  +               #{ spec => Spec
  +                , options => Opts }
  +
  +         },
   
       init_vm(State,
  -	    maps:get(code, Exec),
  -	    init_storage(Address, Pre)).
  +            maps:get(code, Exec),
  +            init_storage(Address, Pre)).
   
   init_vm(State, Code, Store) ->
       State#{ out       => <<>>
  -	  , call      => #{}
  -	  , callcreates => []
  -	  , code      => Code
  -	  , cp        => 0
  -	  , logs      => []
  -	  , memory    => #{}
  -	  , return_data => <<>>
  -	  , stack     => []
  -	  , storage   => Store
  -	  }.
  +          , call      => #{}
  +          , callcreates => []
  +          , code      => Code
  +          , cp        => 0
  +          , logs      => []
  +          , memory    => #{}
  +          , return_data => <<>>
  +          , stack     => []
  +          , storage   => Store
  +          }.
   
   prepare_for_call(Caller, Dest, CallGas, Value, Code, CallDepth, State) ->
       #{ environment := #{ spec := #{ pre := Pre}}} = State,
       Store = init_storage(Dest, Pre),
       State1 = init_vm(State, Code, Store),
       State1#{ address => Dest
  -	   , gas => CallGas
  -	   , value => Value
  -	   , caller    => Caller
  -	   , calldepth => CallDepth + 1
  -	   }.
  +           , gas => CallGas
  +           , value => Value
  +           , caller    => Caller
  +           , calldepth => CallDepth + 1
  +           }.
   
   init_storage(Address, #{} = Pre) ->
       case maps:get(Address, Pre, undefined) of
  
positive.code: format_mem(Mem) ->
     lists:flatten(
       "[" ++
  	 format_mem(lists:sort(maps:to_list(Mem)), ?MAXMEMPOS)
       ++ "]").
  format_mem([],_) -> [];
  format_mem( _,0) -> " ...";
  
negative.code:     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), <<>>),
      aevm_eeevm_utils:bin_copy(Start, Length, CodeBlock).
  extcode(Account, State) ->
      maps:get(Account band ?MASK160,
               maps:get(ext_code_blocks, State), <<>>).
  extbalance(Account, State) ->
      maps:get(Account band ?MASK160,
               maps:get(balances, State), <<>>).
  no_recursion(State) ->
      maps:get(no_recursion, State).
  
  