I wasn't able to decide where the $halted identifier should go, so I unloaded all the rest of my scripts, and tried again, with no difference.