Update lab7b.krl