Found 1 other functions taking a
mem
argument:
"Plug holes" by combining adjacent empty struct mems. After this function is through, there should not exist one empty struct mem pointing to another empty struct mem. This assumes access to the heap is protected by the calling function already.