Update lab06a.krl