Update lab2.krl