
  TYPE
    oct$segment_attribute = (occ$sa_read, occ$sa_read_kl, occ$sa_binding,
          occ$sa_write, occ$sa_write_kl, occ$sa_non_privileged,
          occ$sa_local_privilege, occ$sa_global_privilege, occ$sa_cache_bypass,
          occ$sa_extensible, occ$sa_wired, occ$sa_shared, occ$sa_fixed,
          occ$sa_stack, occ$sa_read_transfer_unit, occ$sa_free_behind,
          occ$sa_no_append),

    oct$segment_attributes = set of oct$segment_attribute;

