Constant derive_trace_Cons 

const derive_trace_Cons: ();