Characteristic predicate ExportsDirective :: ExportsDirective
ExportsDirective
(
)