int recorder_load_buffer( Pointer<Recorder> self, Pointer<Float> output, int floats_to_read, ) => _recorder_load_buffer(self.addr, output.addr, floats_to_read);