Procs

proc version(): string {....raises: [Exception, ValueError, OSError, IOError,
                                  EOFError, KeyError], tags: [RootEffect].}

proc bootstrap(root: string; upgrade = false; user = false; altinstall = false;
               default_pip = false; verbosity = 0) {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

proc bootstrap() {....raises: [Exception, ValueError, OSError, IOError, EOFError,
                            KeyError], tags: [RootEffect].}