HALTS

Definition of HALTS