Record Declarations

A record declaration has a form such as:
record field₁, ... , field_n : type₁ ; ... end
Such a declaration is processed as follows:

1. Initialize offset within the record, next = 0.

2. For each entry group,
   1. Find the symbol table entry for the type .

   2. Allocate storage within the record using the storage allocation algorithm and size of type .

   3. Make a symbol table entry for each field, using makesym(), filling in its print name, type, offset in the record, and size.

   4. Link the entries for the fields to an entry for the record.

3. The size of the record is the total size given by the storage allocation algorithm, rounded up to whole words, e.g. multiple of 16.

4. Variant records simply restart the storage allocation at the place where the variant part begins. Total size is the maximum size of the variants.