Update lab8.krl