Update lab7a.krl