Document WriteFile.h