Notes for lecture 17: Exception handling, file I/O