 TYPE
    fst$user_attribute_type = (fsc$boolean_type, fsc$date_time_type,
      fsc$entry_point_reference_type, fsc$file_type, fsc$integer_type,
      fsc$name_type, fsc$null_type, fsc$real_type, fsc$sequence_type,
      fsc$status_type, fsc$string_type, fsc$time_increment_type);
