Update exercises_1.v