The exit() syscall never returns, so this code is dead.

Cleanup along with #386.