{"ast_node_type":"other","tokens":[{"end":45,"kind":"keyword","start":0,"text":"self.check_ptr_access_signed("}]}
                self.check_ptr_access_signed(
                // derived from the same allocation.
                    a,