halt-check