__resource_contains_unbound
return __resource_contains_unbound(r1, r2);
__resource_contains_unbound(&full_avail, &alloc)) {
