{"ast_node_type":"other","tokens":[{"end":13,"kind":"keyword","start":0,"text":"}"}]}
            }
                throw_ub!(DanglingIntPointer { addr, inbounds_size: size, msg });
            Ok((alloc_id, offset, prov)) => {