Update Lab4.krl