rf_free_1d_array
rf_free_1d_array(first_avail_slot, v);
void rf_free_1d_array(RF_RowCol_t * a, int n);