Ensure size is non-zero.
Support for record types and enumeral types.