Commented out debugging printfs in a_trace.c