Constant derive_trace_Env 

const derive_trace_Env: ();