replace openFile() by two functions openFileCached() and openFileUncached(), to avoid...