{"ast_node_type":"other","tokens":[{"end":88,"kind":"keyword","start":0,"text":"//"}]}
                        // the expected type, so to go around that, we add a cast before
                        // It's possible that the value behind the pointer is actually not exactly
                        // dereferencing the value.