
  TYPE
    llt$section_access_attributes = set of llt$section_access_attribute,

    llt$section_access_attribute = (llc$read, llc$write, llc$execute,
      llc$binding);
