TCmdLinePass = enum
  passCmd1, passCmd2, passPP

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

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

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

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

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

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].}

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

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].}

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

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

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

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

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