proc handleCmdInput(conf: ConfigRef) {....raises: [OSError],
                                       tags: [ReadEnvEffect, ReadIOEffect],
                                       forbids: [].}

proc handleStdinInput(conf: ConfigRef) {....raises: [OSError],
    tags: [ReadEnvEffect, ReadIOEffect], forbids: [].}

proc initOrcDefines(conf: ConfigRef) {....raises: [], tags: [], forbids: [].}

proc parseCommand(command: string): Command {....raises: [], tags: [], forbids: [].}

proc processArgument(pass: TCmdLinePass; p: OptParser; argsCount: var int;
                     config: ConfigRef): bool {....raises: [], tags: [],
    forbids: [].}

proc processCommand(switch: string; pass: TCmdLinePass; config: ConfigRef) {....raises: [
    Exception, ValueError, KeyError, OSError, IOError, ERecoverableError,
    EOFError], tags: [RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect,
                      ReadEnvEffect, WriteDirEffect, WriteEnvEffect],
    forbids: [].}

proc processSpecificNote(arg: string; state: TSpecialWord; pass: TCmdLinePass;
                         info: TLineInfo; orig: string; conf: ConfigRef) {....raises: [
    Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc processSwitch(pass: TCmdLinePass; p: OptParser; config: ConfigRef) {....raises: [
    Exception, ValueError, KeyError, OSError, IOError, ERecoverableError,
    EOFError], tags: [RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect,
                      ReadEnvEffect, WriteDirEffect, WriteEnvEffect],
    forbids: [].}

proc processSwitch(switch, arg: string; pass: TCmdLinePass; info: TLineInfo;
                   conf: ConfigRef) {....raises: [Exception, ValueError, KeyError,
    OSError, IOError, ERecoverableError, EOFError, Exception, ValueError,
    KeyError, OSError, IOError, ERecoverableError, Exception, ValueError,
    KeyError, OSError, IOError, ERecoverableError], tags: [RootEffect,
    ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect, WriteDirEffect,
    WriteEnvEffect], forbids: [].}

proc setCmd(conf: ConfigRef; cmd: Command) {....raises: [], tags: [], forbids: [].}

proc setCommandEarly(conf: ConfigRef; command: string) {....raises: [], tags: [],
    forbids: [].}

proc testCompileOption(conf: ConfigRef; switch: string; info: TLineInfo): bool {....raises: [
    Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc testCompileOptionArg(conf: ConfigRef; switch, arg: string; info: TLineInfo): bool {....raises: [
    Exception, ValueError, KeyError, OSError, IOError, ERecoverableError,
    Exception, ValueError, KeyError, OSError, IOError, ERecoverableError], tags: [
    RootEffect, ReadDirEffect, WriteIOEffect, ReadIOEffect, ReadEnvEffect],
    forbids: [].}

proc unregisterArcOrc(conf: ConfigRef) {....raises: [], tags: [], forbids: [].}

proc writeCommandLineUsage(conf: ConfigRef) {.
    ...raises: [Exception, IOError, ValueError], tags: [RootEffect, WriteIOEffect],
    forbids: [].}