TCmdLinePass = enum
  passCmd1, passCmd2, passPP

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

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

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

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

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

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

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

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

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