{"ast_node_type":"other","tokens":[{"end":46,"kind":"keyword","start":0,"text":"\"__builtin_ia32_encodekey128_u32\""}]}
        "__builtin_ia32_encodekey128_u32" => {
        }
            // The builtin __builtin_ia32_encodekey128_u32 writes the result in its pointer argument while