Used CHECK_SOME in module manager.