hlt execution.