WriteFile and documentation