Ещё программатор должен быть профессиональный.
Да, грамотно написанная программа при запуске подсчитывает
контрольную сумму и сравнивает с требуемой и, в случае несовпадения (из-за внесения изменений без коррекции значения контрольной суммы или "плавающих" (неоднозначно считываемых) битов просто на выходит на работу.