
  TYPE
    llt$module_attributes = set of (llc$ma_unused_5, llc$ma_unused_4,
          llc$ma_unused_3, llc$ma_unused_2, llc$ma_unused_1,
          llc$object_cybil_checking, llc$nonbindable,
          llc$nonexecutable);
