{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"\"read.ptx.sreg.envreg23\""}]}
                    "read.ptx.sreg.envreg23" => "__nvvm_read_ptx_sreg_envreg23",
                    "read.ptx.sreg.envreg22" => "__nvvm_read_ptx_sreg_envreg22",
                    "read.ptx.sreg.envreg24" => "__nvvm_read_ptx_sreg_envreg24",