Don't reexec if nothing is modified.
Refactor into a new set isolation method.
Use guids for unique names.