issue #677: remove used_size from stashed memory header, just use allocated_size