{"ast_node_type":"other","tokens":[{"end":80,"kind":"keyword","start":0,"text":"\"read.ptx.sreg.envreg18\""}]}
                    "read.ptx.sreg.envreg18" => "__nvvm_read_ptx_sreg_envreg18",
                    "read.ptx.sreg.envreg17" => "__nvvm_read_ptx_sreg_envreg17",
                    "read.ptx.sreg.envreg19" => "__nvvm_read_ptx_sreg_envreg19",