assert(0) is replaced with a HLT instruction for -release.