//codeql-extractor-options: -some-other -option-for-b