{"ast_node_type":"other","tokens":[{"end":75,"kind":"keyword","start":0,"text":"Ub(DanglingIntPointer"}]}
            Ub(DanglingIntPointer { addr: 0, .. }) => NullPtr { ptr_kind },
            self.path,
            Ub(DanglingIntPointer { addr: i, .. }) => DanglingPtrNoProvenance {