what are halt/haltdef
what do they do
what is the difference