anchor.diff:      fail(Failure).
   
   fail({assert,File,Line,Message}) ->
  -    io:format(user, "Assertion FAILED ~p:~p, pid ~w exiting: ~p~n",
  +    debug_format(user, "Assertion FAILED ~p:~p, pid ~w exiting: ~p~n",
                 [File, Line, self(), Message]),
       erlang:error(assertion_failed);
   fail({alert,File,Line,Message}) ->
  -    io:format(user, "Assert WARNING ~p:~p, pid ~w: ~p~n",
  +    debug_format(user, "Assert WARNING ~p:~p, pid ~w: ~p~n",
                 [File, Line, self(), Message]),
       ok;
   fail({{debug,Fstr}, File,Line,Fmt, Args}) ->
  
positive.code: typecheck([{int, Int} |Tail], File, Line) when is_integer(Int) ->
      typecheck(Tail, File, Line);
  typecheck([Err|_], File, Line) ->
      io:format(user, "TC ERROR ~s:~w:~n~p",
                [File, Line, Err]),
      erlang:error(tcerr);
  typecheck([], _,_) ->
  
negative.code: eprof() ->
      eprof:start(),
      eprof:profile(pids()),
      debug_format("Ok run some traffic \n", []).
  
  
  
  