Update Exercise4.krl