Lec 9 (testing/debugging): some additional slides