Constant k_objects_K_OBJ_THREAD 

pub const k_objects_K_OBJ_THREAD: u32 = 9; // 9u32