Function write_file 

pub fn write_file<'a, OL>(
    handle: &impl WritableHandle,
    buf: &[u8],
    overlapped: OL,
) -> OsResult<usize>
where
    OL: Into<Option<&'a mut Overlapped>>,