pub const INVALID_SET_FILE_POINTER: u32 = 4294967295u32;