anchor.diff:  			{ok,_} = exec(Ndl,SQLB),
   			exit(ok)
   		end),
  -		Pid 
  +		Pid
   	end || _ <- lists:seq(1,50)],
   	wait_dl_resp(Pids).
   wait_dl_resp([H|T]) ->
  
positive.code: 	Start = os:timestamp(),
  	case get(bin) of
  		undefined ->
  			Bin = base64:encode(crypto:rand_bytes(128)),
  			put(bin,Bin);
  		Bin ->
  			ok
  
negative.code: 
  check_multiupdate_deadlock(Ndl) ->
  	L = ["ac1","ac2","ac3","ac4","ac5"],
  	Pids = [begin
  		% Sort L randomly
  		RL = lists:sort(fun(_,_) -> rand:uniform() > rand:uniform() end,L),
  		{Pid,_} = spawn_monitor(fun() ->
  			Ins = ["insert into tab values (",
  				  (integer_to_binary(flatnow())),",'deadlock?',1);"],
  			SQL = [["actor type1(",Actor,"); ",Ins] || Actor <- RL],
  