anchor.diff:                                              true
                                       end
                               end
  -                                )
  +                                ))
                           end)))).
   
   -endif.
  
positive.code:         width,
          mem_levels
      }).
  
  
  initial_state() ->
      #state{
          only1 = [],
          only2 = [],
          both = []
      }.
  
  integer_to_binary(Int) ->
      list_to_binary(integer_to_list(Int)).
  
negative.code: -include_lib("eqc/include/eqc_statem.hrl").
  -define(QC_OUT(P),
          eqc:on_output(fun(Str, Args) -> io:format(user, Str, Args) end, P)).
  
  -define(POWERS, [8, 16, 32, 64, 128, 256, 512, 1024]).
  
  -include_lib("eunit/include/eunit.hrl").
  
  