How a command-line program ends