{"ast_node_type":"other","tokens":[{"end":58,"kind":"keyword","start":0,"text":"\"bf2h.rn.ftz\""}]}
                    "bf2h.rn.ftz" => "__nvvm_bf2h_rn_ftz",
                    "bf2h.rn" => "__nvvm_bf2h_rn",
                    "bitcast.d2ll" => "__nvvm_bitcast_d2ll",