proc undo(verbose = false) {...}{.raises: [IOError, ValueError, OSError, Exception], tags: [
    ReadDirEffect, ReadIOEffect, ExecIOEffect, RootEffect, WriteIOEffect].}