2.4.2 The stop label ¶

A predefined label named stop is defined in the standard postlude. This label can be jumped to at any time by a program and it will cause it to terminate and exit. For example:

begin if argc /= 2
      then puts ("Program requires exactly two arguments.");
     goto stop
      fi
      C ... C
end