
  TYPE
    amt$record_type_name = record
      name: string (32),
      size: 12 .. 32,
    recend;

