void wmi_Shutdown() { ModuleShutdown(&initState, Shutdown); }
void h_mgr_shutdown() { ModuleShutdown(&initState, Shutdown); }
void mahaf_Shutdown() { ModuleShutdown(&initState, Shutdown); }