first_push_lab10
2nd_push_lab10
3rd_push_lab10
final_lab10 _push