fprintf(stats_file_desc,"TRXW RBUF: ri %d wi %d ra %d wa %d\n",trxw_rbuf[0].read_index,trxw_rbuf[0].write_index,rbuf_read_amount(&trxw_rbuf[0]),rbuf_write_amount(&trxw_rbuf[0]));
fprintf(stats_file_desc,"TRXW RBUF: ri %d wi %d ra %d wa %d\n",trxw_rbuf[0].read_index,trxw_rbuf[0].write_index,rbuf_read_amount(&trxw_rbuf[0]),rbuf_write_amount(&trxw_rbuf[0]));