Constant DEBUG_FORMAT_USER_SMALL_THREAD_INFO 

pub const DEBUG_FORMAT_USER_SMALL_THREAD_INFO: u32 = 2048u32;