explain the assertion in trace_log_alloc()