Constant derive_trace_Env

const derive_trace_Env: ();