Fix exec/halt implementation. Second process can now run more than once without crashing.