push cs144_lab3