towards making sense of allocations in loops