Constant DEBUG_FORMAT_USER_SMALL_UNLOADED_MODULES 

pub const DEBUG_FORMAT_USER_SMALL_UNLOADED_MODULES: u32 = 4u32;