A program being run afterwards might not even know about the existence of double hires. So it's our task to turn double hires off on exit.