pub const INVALID_SET_FILE_POINTER: u32 = 4294967295; // 4_294_967_295u32