add push instructions