proc addConsoleModule(ctx: JSContext): Opt[void] {....raises: [], tags: [],
    forbids: [].}

proc error(console: Console; ss: varargs[string]) {....raises: [], tags: [],
    forbids: [].}

proc flush(console: Console) {....raises: [], tags: [], forbids: [].}

proc log(console: Console; ss: varargs[string]) {....raises: [], tags: [],
    forbids: [].}

proc newConsole(err: ChaFile): Console {....raises: [], tags: [], forbids: [].}

proc setStream(console: Console; file: ChaFile; close: bool) {....raises: [],
    tags: [], forbids: [].}

proc write(console: Console; c: char) {....raises: [], tags: [], forbids: [].}

proc write(console: Console; s: openArray[char]) {....raises: [], tags: [],
    forbids: [].}

proc writeException(console: Console; ctx: JSContext) {....raises: [], tags: [],
    forbids: [].}