Nick agrees with you. ;] He apparently already had patches to add a 'halting' attribute to functions. I think we should probably go back and do that.