1# Sometimes the "Killed" message is not flushed soon enough and it
2# is redirected along with the output of a builtin.
3# Do not change the semicolon to a newline as it would hide the bug.
4
5exec 3>&1
6exec >/dev/null 2>&1
7${SH} -c 'kill -9 $$'; : >&3 2>&3
8