Update lab05.krl