proc endsWith(x: string; s: set[char]): bool {....raises: [], tags: [], forbids: [].}

proc endsWithOpr(x: string): bool {....raises: [], tags: [], forbids: [].}

proc llStreamClose(s: PLLStream) {....raises: [IOError], tags: [], forbids: [].}

proc llStreamOpen(): PLLStream {....raises: [], tags: [], forbids: [].}

proc llStreamOpen(data: sink string): PLLStream {....raises: [], tags: [],
    forbids: [].}

proc llStreamOpen(f: File): PLLStream {....raises: [], tags: [], forbids: [].}

proc llStreamOpen(filename: AbsoluteFile; mode: FileMode): PLLStream {.
    ...raises: [], tags: [], forbids: [].}

proc llStreamOpenStdIn(r: TLLRepl = llReadFromStdin; onPrompt: OnPrompt = nil): PLLStream {.
    ...raises: [], tags: [], forbids: [].}

proc llStreamRead(s: PLLStream; buf: pointer; bufLen: int): int {.
    ...raises: [IOError, Exception], tags: [ReadIOEffect, RootEffect], forbids: [].}

proc llStreamReadAll(s: PLLStream): string {....raises: [IOError],
    tags: [ReadIOEffect], forbids: [].}

proc llStreamReadLine(s: PLLStream; line: var string): bool {....raises: [IOError],
    tags: [ReadIOEffect], forbids: [].}

proc llStreamWrite(s: PLLStream; buf: pointer; buflen: int) {....raises: [IOError],
    tags: [WriteIOEffect], forbids: [].}

proc llStreamWrite(s: PLLStream; data: char) {....raises: [IOError],
    tags: [WriteIOEffect], forbids: [].}

proc llStreamWrite(s: PLLStream; data: string) {....raises: [IOError],
    tags: [WriteIOEffect], forbids: [].}

proc llStreamWriteln(s: PLLStream; data: string) {....raises: [IOError],
    tags: [WriteIOEffect], forbids: [].}