proc fileno(f: File): cint {....raises: [], tags: [], forbids: [].}

proc flush_io() {....raises: [], tags: [WriteIOEffect], forbids: [].}

proc isatty(fildes: cint): bool {....raises: [], tags: [], forbids: [].}

proc readLine(stdinF, stdoutF: File; prompt: string): string {.
    ...raises: [InterruptError, EOFError], tags: [], forbids: [].}