Update exercise01.krl