{"ast_node_type":"other","tokens":[{"end":49,"kind":"keyword","start":0,"text":"\"pextd\""}]}
                    "pextd" => "__builtin_pextd",
                    "pdepd" => "__builtin_pdepd",
                    "qpx.qvfabs" => "__builtin_qpx_qvfabs",