public constant define-nonlocal-option-attributes:AdjectiveMask ={make-adjective-mask BindingAdjective.public, BindingAdjective.deprecated, BindingAdjective.package, BindingAdjective.hidden, BindingAdjective.library }