Some of the variants of `make_unique_region()` take a `num_elements` parameter, while in fact, it is just the number of bytes, since regions are untyped.