{"ast_node_type":"other","tokens":[{"end":66,"kind":"keyword","start":0,"text":"\"sha256rnds2\""}]}
                    "sha256rnds2" => "__builtin_ia32_sha256rnds2",
                    "sha256msg2" => "__builtin_ia32_sha256msg2",
                    "slwpcb" => "__builtin_ia32_slwpcb",