Push-pop_cs_1611