| RecordsData Types | 
| TYPE handshake IS (removed, acked, released, present); | 
| TYPE color_type IS
    RECORD
      tag1   : integer;
      tag2   : integer;
      .
      .
      tag15   : integer;
      boole1  : boolean;
      boole2  : boolean;
      boole3  : boolean;
    END RECORD; |