proc main(args: seq[string] = commandLineParams()) {....raises: [IOError,
    ValueError, ValueError, Exception, IOError, ValueError, Exception, IOError], tags: [
    ReadIOEffect, WriteIOEffect, ReadEnvEffect, RootEffect, ExecIOEffect,
    ReadDirEffect, WriteDirEffect, TimeEffect], forbids: [].}