An opaque datatype.
Ignore all its fields and initialize the iter with [[email protected]_start_region_iter].