Constant derive_trace_Record

const derive_trace_Record: ();