One more push() definition