Constant sel4_config::consts::MAX_NUM_TRACE_POINTS

pub const MAX_NUM_TRACE_POINTS: &str = "0";