System.Exit
data
ExitCode
exitWith
exitFailure
exitSuccess
die