haltless
not defined yet