Symbol: ecc_region_t