// semmle-extractor-options: --gnu_version 40700
class C1 final {
};

class C2 __final {
};