Update lab07a.krl