{"ast_node_type":"other","tokens":[{"end":63,"kind":"keyword","start":0,"text":"\"read.clock\""}]}
                    "read.clock" => "__builtin_ptx_read_clock",
                    "bar.sync" => "__builtin_ptx_bar_sync",
                    "read.clock64" => "__builtin_ptx_read_clock64",