proc getSystemConfigPath(conf: ConfigRef; filename: RelativeFile): AbsoluteFile {.
    ...raises: [OSError], tags: [ReadIOEffect, ReadDirEffect], forbids: [].}

proc getUserConfigPath(filename: RelativeFile): AbsoluteFile {.
    ...raises: [OSError], tags: [ReadEnvEffect, ReadIOEffect], forbids: [].}

proc loadConfigs(cfg: RelativeFile; cache: IdentCache; conf: ConfigRef;
                 idgen: IdGenerator) {....raises: [OSError, IOError, Exception,
    KeyError, ValueError, ERecoverableError, EOFError, ESuggestDone,
    IllegalTypeRecursionError], tags: [ReadIOEffect, ReadDirEffect,
                                       ReadEnvEffect, RootEffect, WriteIOEffect,
                                       WriteEnvEffect, WriteDirEffect,
                                       TimeEffect, ExecIOEffect], forbids: [].}

proc readConfigFile(filename: AbsoluteFile; cache: IdentCache; config: ConfigRef): bool {....raises: [
    IOError, Exception, KeyError, ValueError, ERecoverableError, OSError,
    EOFError], tags: [ReadIOEffect, RootEffect, ReadDirEffect, WriteIOEffect,
                      ReadEnvEffect, WriteEnvEffect, WriteDirEffect],
    forbids: [].}