state: even less spurious allocations