proc `=destroy`(w: WavWriter) {....raises: [], tags: [RootEffect], forbids: [].}

proc close(w: var WavWriter) {....raises: [IOError], tags: [WriteIOEffect],
                               forbids: [].}

proc closeImpl(w: WavWriter): void {....raises: [IOError], tags: [WriteIOEffect],
                                     forbids: [].}

proc init(__1879048234: typedesc[WavWriter]; filename: sink string;
          channels, samplerate: int): WavWriter {....raises: [IOError].}

proc write(w: var WavWriter; data: openArray[PcmF32]) {....raises: [IOError],
    tags: [WriteIOEffect], forbids: [].}