Constant derive_trace_Record 

const derive_trace_Record: ();