Update lab2.v