Update lab6b.krl