fixed halt declaration