PREFIXES: seq[string] = to(getAttr(pyImport("site"), "PREFIXES"), seq[string])

ENABLE_USER_SITE: bool = to(getAttr(pyImport("site"), "ENABLE_USER_SITE"), bool)

USER_SITE: string = to(getAttr(pyImport("site"), "USER_SITE"), string)

USER_BASE: string = to(getAttr(pyImport("site"), "USER_BASE"), string)

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

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

proc addsitedir(sitedir: string; known_paths: seq[string]) {.
    ...raises: [Exception, ValueError, OSError, IOError, EOFError, KeyError],
    tags: [RootEffect].}

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

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

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