semmle-extractor-options: -D__x86_64=1