pub const FILE_WRITE_TO_END_OF_FILE: u32 = 4294967295u32;