for S being COM-Struct
for I being Program of S holds CutLastLoc (stop I) = I ;