hlt runs w/o assert