advance_data_vio_compression_stage
(advance_data_vio_compression_stage(data_vio).stage != DATA_VIO_COMPRESSING)) {
advance_data_vio_compression_stage(struct data_vio *data_vio);
if (!advance_data_vio_compression_stage(data_vio).may_not_compress) {
(advance_data_vio_compression_stage(data_vio).stage != DATA_VIO_PACKING)) {