added lab3.krl