Extension point for package-level flags exported as $flags; no flags are currently predefined.
$flags