Examples for lecture on testing added.