proc includeModule(graph: ModuleGraph; s: PSym; fileIdx: FileIndex): PNode {....raises: [
    Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc makeModule(graph: ModuleGraph; filename: AbsoluteFile): PSym {....raises: [
    Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc makeModule(graph: ModuleGraph; filename: string): PSym {....raises: [
    Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc makeStdinModule(graph: ModuleGraph): PSym {....raises: [Exception, ValueError,
    KeyError, OSError, IOError, ERecoverableError], tags: [RootEffect,
    ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}

proc newModule(graph: ModuleGraph; fileIdx: FileIndex): PSym {....raises: [
    Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc partialInitModule(result: PSym; graph: ModuleGraph; fileIdx: FileIndex;
                       filename: AbsoluteFile) {....raises: [KeyError, OSError],
    tags: [ReadDirEffect], forbids: [].}

proc resetSystemArtifacts(g: ModuleGraph) {....raises: [], tags: [], forbids: [].}

proc wantMainModule(conf: ConfigRef) {....raises: [Exception, ValueError, KeyError,
    OSError, IOError, ERecoverableError], tags: [RootEffect, ReadDirEffect,
    WriteIOEffect, ReadIOEffect, ReadEnvEffect], forbids: [].}