User is an untyped 64 bit value that typically represents an internal pointer object. File operations use User values for the operating-system's handle to the file.