anchor.diff:      test(?DEFAULT_HOST, ?DEFAULT_PORT).
   
   test(Host, Port) ->
  -    test(Host, Port, 500).
  -
  -test(Host, Port, Iterations) ->
  -    eqc:quickcheck(eqc:numtests(Iterations, prop_api_test(Host, Port))).
  -    %% eqc:quickcheck(eqc:numtests(Iterations, prop_parallel_api_test(Host, Port))).
  +    test(Host, Port, ?DEFAULT_PROXY_HOST, ?DEFAULT_PROXY_PORT, 500).
  +
  +test(Host, Port, ProxyHost, ProxyPort, Iterations) ->
  +    eqc:quickcheck(eqc:numtests(Iterations, prop_api_test(Host, Port, ProxyHost, ProxyPort))).
  +    %% eqc:quickcheck(eqc:numtests(Iterations, prop_parallel_api_test(Host, Port, ProxyHost, ProxyPort))).
   
   create_user(Name, Email, Config) ->
       process_post(
         post_user_request(
  -        compose_url(Config#aws_config.s3_host, Config#aws_config.s3_port),
  +        compose_url(Config#aws_config.proxy_host, Config#aws_config.proxy_port),
           compose_request(Name, Email)),
        Config).
   
  
positive.code: %% eqc_fsm callbacks
  -export([initial_state/0,
           initial_state_data/0,
           initial_state_data/2,
           next_state_data/5,
           precondition/4,
           postcondition/5]).
  
negative.code: 
  -define(S3_MODULE, erlcloud_s3).
  -define(DEFAULT_HOST, "s3.amazonaws.com").
  -define(DEFAULT_PORT, 80).
  -define(DEFAULT_PROXY_HOST, "localhost").
  -define(DEFAULT_PROXY_PORT, 8080).
  -define(VALUE, "test value").
  -define(EMPTY_OBJECT_LIST(B), [{name, B},
                                  {prefix,[]},
  