Record types

Record type values are laid out element by element, with paddingdependent on the pack compiler option.  Each variant section occupies an amountof memory equal to the size of the largest variant it contains.  Each variantof a variant section starts at the same address, and the fields of the differentvariants overlay each other.

When record objects are allocated, the maximum size for the record is allocated ifno tags are specified in the NEW call.  If the tags are specified, only theneeded storage is allocated.