Export halt_with