
  TYPE
    fmt$user_attribute_length = 0 .. 0ffffff(16);

