/**	@file	dk3ufi.h	Unique file identifiers.

The dk3ufi_get_app() and dk3ufi_get() functions obtain a unique file
identifier (UFI) for a named file. The file must be a regular file.

If the UFIs for two file names are equal both file names refer to
the same file (the same inode), i.e. "x.txt" and "./x.txt".

If UFIs differ, the file names point to different files.
*/