\echo # running "exit.sql"
\! kill $PPID
\echo # SHOULD NOT SHOW!
