/usr.bin/rump_halt/