halt |-> stop