// semmle-extractor-options: --expect_errors void containserror() { #error An error! }