s/hault/halt/