Constant END_TRACE_SESSION 

pub const END_TRACE_SESSION: u64 = 0x72d6ca80a0787577 /* 8_275_024_019_136_738_679u64 */;