(show-allocation)