Constant k_objects_K_OBJ_THREAD_STACK_ELEMENT 

pub const k_objects_K_OBJ_THREAD_STACK_ELEMENT: u32 = 11; // 11u32