Constant derive_trace_VM 

const derive_trace_VM: ();