(if (module-installed-p c-module)
(setq semi-modules-to-compile
(nconc semi-modules-to-compile i-modules))
(setq semi-modules-not-to-compile
(if (module-installed-p c-module)
(setq semi-modules-to-compile
(nconc semi-modules-to-compile i-modules))
(setq semi-modules-not-to-compile