constant kDefectDataDefSym := '|Defect:ProgNewton|;