{"ast_node_type":"other","tokens":[{"end":39,"kind":"keyword","start":0,"text":"//"}]}
                // Advance the pointer.
                let ptr = self.ptr.get();
                self.ptr.set(self.ptr.get().add(1));