- [x] Type is known - [x] Start offset not greater than file size - [x] Block size plus start offset not greater than file size - [x] Unused space not greater than block size - [x] Unused space not greater than file size
