{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"\"read.ptx.sreg.envreg15\""}]}
                    "read.ptx.sreg.envreg15" => "__nvvm_read_ptx_sreg_envreg15",
                    "read.ptx.sreg.envreg14" => "__nvvm_read_ptx_sreg_envreg14",
                    "read.ptx.sreg.envreg16" => "__nvvm_read_ptx_sreg_envreg16",