# Sometimes the "Killed" message is not flushed soon enough and it
# is redirected along with the output of a builtin.
# Do not change the semicolon to a newline as it would hide the bug.

exec 3>&1
exec >/dev/null 2>&1
${SH} -c 'kill -9 $$'; : >&3 2>&3