to halt [ halted ; halted ]