{"ast_node_type":"other","tokens":[{"end":26,"kind":"keyword","start":0,"text":"Err(addr)"}]}
            Err(addr) => {
        interp_ok(match this.borrow().ptr_try_get_alloc_id(ptr, size) {
                // We couldn't get a proper allocation.