Boolean DoIntegrityCheck(Boolean *programIntegritySet);
