fix halt(0)