{"ast_node_type":"other","tokens":[{"end":47,"kind":"keyword","start":0,"text":"reached_raw_pointer"}]}
                    reached_raw_pointer = true;
                    // all the subsequent steps will be from_unsafe_deref
                }