int recorder_get_buffer( Pointer<Recorder> self, Pointer<Float> output, int frames_to_read) => _recorder_get_buffer(self.addr, output.addr, frames_to_read);