Plus semantic check that structure of data (possibly nested arrays) is consistent with `size`.
Plus semantic check that structure of data (possibly nested arrays) is consistent with
size.