Remove old special-cased push() function