debugging allocation