get_available_data_vio
assign_data_vio(limiter, get_available_data_vio(limiter->pool));
data_vio = get_available_data_vio(pool);