Инвариантный модуль программы