{"ast_node_type":"other","tokens":[{"end":76,"kind":"keyword","start":0,"text":"\"tdpbsud.internal\""}]}
                    "tdpbsud.internal" => "__builtin_ia32_tdpbsud_internal",
                    "tdpbsud" => "__builtin_ia32_tdpbsud",
                    "tdpbusd" => "__builtin_ia32_tdpbusd",