Lecture 14: File system robustness