{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"if"}]}
        if s == SanitizerSet::KERNELADDRESS {
        // KASAN is still ASAN under the hood, so it uses the same attribute.
            s = SanitizerSet::ADDRESS;