halting at a system