add halt helpers