anchor.diff:          , sophia_state_gas/1
           , sophia_no_callobject_for_remote_calls/1
           , sophia_operators/1
  +        , sophia_bad_code/1
  +        , sophia_bad_init/1
           , sophia_int_to_str/1
           , sophia_events/1
  -        , sophia_bad_code/1
           , create_store/1
           , read_store/1
           , store_zero_value/1
  
positive.code: hack_dup(A, B, <<A:8, Rest/binary>>) -> <<B:8, (hack_dup(A, B, Rest))/binary>>;
  hack_dup(A, B, <<X:8, Rest/binary>>) -> <<X:8, (hack_dup(A, B, Rest))/binary>>.
  
  
  %% The crowd funding example.
  
  
negative.code:                                  sophia_no_callobject_for_remote_calls,
                                   sophia_operators,
                                   sophia_bad_code,
                                   sophia_bad_init,
                                   sophia_int_to_str,
                                   sophia_events]}
      , {sophia_oracles_ttl, [],
  