(unknown)
void exit ()
void exit
This language construct terminates parsing of the script. It does not return.
See also die().