{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"\"read.ptx.sreg.envreg12\""}]}
                    "read.ptx.sreg.envreg12" => "__nvvm_read_ptx_sreg_envreg12",
                    "read.ptx.sreg.envreg11" => "__nvvm_read_ptx_sreg_envreg11",
                    "read.ptx.sreg.envreg13" => "__nvvm_read_ptx_sreg_envreg13",