halt/[0,1] ISOhalt
halt(+ExitCode)
Causes an exit from the running process.
integer, must be nonvar
Exit status code. Only the lower 8 bits of this value is used.
Causes an exit from the running process with exit code ExitCode. ExitCode defaults to zero which, by convention, signifies a successful exit from the process.
halt/[0,1] is implemented by raising a reserved exception, which is handled
at the top level; see ref-ere-int.
instantiation_errorExitCode is uninstantiated.
type_errorExitCode is not an integer.
abort/0, break/0, runtime_entry/1, ref-ere-int.