private void DeallocateChannelBuffer(int channel) { //chan_buf_alloc[channel] = null; chan_buf[channel] = null; }