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