Revert "get rid of a.push"

This reverts commit a424f4f2268d67778bde83846b3b1faaa1104db9.