alternative to `exit` command: `CTRL-D`