Update lab5.krl