proc close(file: ChaFile): Opt[void] {.discardable, ...raises: [], tags: [],
                                       forbids: [].}

proc fdopen(ps: PosixStream; mode: cstring): Opt[ChaFile] {....raises: [],
    tags: [], forbids: [].}

proc flush(file: ChaFile): Opt[void] {....raises: [], tags: [], forbids: [].}

proc fopen(name: string; mode: cstring): Opt[ChaFile] {....raises: [], tags: [],
    forbids: [].}

proc pclose(file: ChaFile): cint {....raises: [], importc, header: "<stdio.h>",
                                   ...tags: [], forbids: [].}

proc popen(cmd, t: cstring): ChaFile {....raises: [], importc, header: "<stdio.h>",
                                       ...tags: [], forbids: [].}

proc read(file: ChaFile; s: var openArray[char]): int {....raises: [], tags: [],
    forbids: [].}

proc read(file: ChaFile; s: var openArray[uint8]): int {....raises: [], tags: [],
    forbids: [].}

proc readAll(file: ChaFile; s: var string): Opt[void] {....raises: [], tags: [],
    forbids: [].}

proc readFile(path: string; s: var string): Opt[void] {....raises: [], tags: [],
    forbids: [].}

proc readLine(file: ChaFile; s: var string): Opt[bool] {....raises: [], tags: [],
    forbids: [].}

proc readLineAppend(file: ChaFile; s: var string): Opt[bool] {....raises: [],
    tags: [], forbids: [].}

proc rename(oldname, newname: string): Opt[void] {....raises: [], tags: [],
    forbids: [].}

proc seek(file: ChaFile; offset: clong): Opt[void] {....raises: [], tags: [],
    forbids: [].}

proc write(file: ChaFile; c: char): Opt[void] {....raises: [], tags: [],
    forbids: [].}

proc write(file: ChaFile; s: openArray[char]): Opt[void] {....raises: [], tags: [],
    forbids: [].}

proc write(file: ChaFile; s: openArray[uint8]): Opt[void] {....raises: [],
    tags: [], forbids: [].}

proc writeCRLine(file: ChaFile; s: openArray[char]): Opt[void] {....raises: [],
    tags: [], forbids: [].}

proc writecstr(file: ChaFile; s: cstring): Opt[void] {....raises: [], tags: [],
    forbids: [].}

proc writeFile(path: string; content: openArray[char]; mode: cint): Opt[void] {.
    ...raises: [], tags: [], forbids: [].}

proc writeLine(file: ChaFile): Opt[void] {....raises: [], tags: [], forbids: [].}

proc writeLine(file: ChaFile; s: openArray[char]): Opt[void] {....raises: [],
    tags: [], forbids: [].}