problem in (push) with multiple allocations