Author: Julia Lawall <julia@diku.dk> The call resource_size(res) returns res->end – res->start + 1 and thus the second change is semantics-preserving. res_size is then used as the second argument of a call to request_mem_region, and the memory allocated by this call appears to be the same as what is released in the two calls to release_mem_region. …