Finalize exec/halt; they appear to work correctly now