{"ast_node_type":"other","tokens":[{"end":44,"kind":"keyword","start":0,"text":"err_ub!(DanglingIntPointer"}]}
                err_ub!(DanglingIntPointer {
            .map_err(|offset| {
                    addr: offset,