Constant sel4_config::consts::USER_STACK_TRACE_LENGTH

pub const USER_STACK_TRACE_LENGTH: &str = "16";