Infrastructure for running a program once and only once (handy for patching)