  TYPE
    nat$eoi_message = record
      size: 1 .. 31,
      value: string (31),
    recend;
