{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"\"F2.dfmin\""}]}
                    "F2.dfmin" => "__builtin_HEXAGON_F2_dfmin",
                    "F2.dfmax" => "__builtin_HEXAGON_F2_dfmax",
                    "F2.dfmpy" => "__builtin_HEXAGON_F2_dfmpy",