added some halt_x functions