{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"\"read.ptx.sreg.envreg30\""}]}
                    "read.ptx.sreg.envreg30" => "__nvvm_read_ptx_sreg_envreg30",
                    "read.ptx.sreg.envreg3" => "__nvvm_read_ptx_sreg_envreg3",
                    "read.ptx.sreg.envreg31" => "__nvvm_read_ptx_sreg_envreg31",