Replace definition of halt.