Update Lab8Catch.krl