Rename `data_size` to `size`.
Add constraint that `size >= 0`.