Update lab04.krl