Update lab07.krl