fix halt name codegen