Constant k_objects_K_OBJ_DRIVER_COUNTER 

pub const k_objects_K_OBJ_DRIVER_COUNTER: u32 = 31; // 31u32