void set_privatized_region(smpi_privatization_region_t region);
smpi_privatization_region_t privatized_region();
int index();
void set_privatized_region(smpi_privatization_region_t region);
smpi_privatization_region_t privatized_region();
int index();