Update catch.krl