WriteFile :: ( handle: HANDLE, buffer: *void, buffer_length: DWORD, written_result: *DWORD, overlapped: *void ) -> BOOL #foreign