fix debug stuff: output of TRACE_CALL