Constant derive_trace_Cons

const derive_trace_Cons: ();