@xiangli-cmu `File.Close()` can also return an error.