{"ast_node_type":"other","tokens":[{"end":67,"kind":"keyword","start":0,"text":"\"read.clock64\""}]}
                    "read.clock64" => "__builtin_ptx_read_clock64",
                    "read.clock" => "__builtin_ptx_read_clock",
                    "read.gridid" => "__builtin_ptx_read_gridid",