revert debugging code
diff --git a/util.c b/util.c
index 4f2dd5e..3c07075 100644
--- a/util.c
+++ b/util.c
@@ -1372,16 +1372,7 @@
 static int
 set_arg0 (struct tcb *tcp, void *cookie, long val)
 {
-	long oldval,newval;
-	if (get_arg0(tcp, cookie, &oldval) < 0)
-		abort ();
-	if (ptrace (PTRACE_POKEUSER, tcp->pid, (char*)arg0_offset, val) < 0)
-		return -1;
-	if (get_arg0(tcp, cookie, &newval) < 0)
-		abort ();
-	fprintf(stderr, "XXX old %lx set %lx new %lx\n",
-		oldval,val,newval);
-	return 0;
+	return ptrace (PTRACE_POKEUSER, tcp->pid, (char*)arg0_offset, val);
 }
 
 static int