for S being COM-Struct holds InsCode (halt S) = 0 ;