Why? halt and haltdef are the same thing in this case.