Symbol: cyc_tracerec_t