A tiny bit more in lec 9 (testing/debugging)