Update lab03.krl