trace_cover alias