Add push instructions