Update lab06.krl