pub const DEBUG_GETMOD_NO_LOADED_MODULES: u32 = 1u32;