class HaltException(Exception):
    pass