{"ast_node_type":"other","tokens":[{"end":64,"kind":"keyword","start":0,"text":"\"sha256msg2\""}]}
                    "sha256msg2" => "__builtin_ia32_sha256msg2",
                    "sha256msg1" => "__builtin_ia32_sha256msg1",
                    "sha256rnds2" => "__builtin_ia32_sha256rnds2",