Update vgalab1.v