Update Lab8.krl