Update halt_with signature