FILE_WHICH(FILE, 1, "Path '%' does not exist."),
FILE_EXISTS(FILE, 2, "File '%' already exists."),
FILE_NODIR(FILE, 3, "Path '%' is no directory."),
FILE_DIR(FILE, 4, "Path '%' is a directory."),
FILE_NEDIR(FILE, 4, "Path '%' is a non-empty directory."),
<BUG>FILE_ENCODING(FILE, 5, "Encoding '%' is not supported."),
FILE_IO(FILE, 9999, "%"),</BUG>
FILE_CREATE(FILE, 9999, "Directory '%' cannot be created."),
FILE_DEL(FILE, 9999, "Path '%' cannot be deleted."),
FILE_MOVE(FILE, 9999, "Moving '%' to '%' failed."),

FILE_WHICH(FILE, 1, "Path '%' does not exist."),
FILE_EXISTS(FILE, 2, "File '%' already exists."),
FILE_NODIR(FILE, 3, "Path '%' is no directory."),
FILE_DIR(FILE, 4, "Path '%' is a directory."),
FILE_NEDIR(FILE, 4, "Path '%' is a non-empty directory."),
FILE_ENCODING(FILE, 5, "Encoding '%' is not supported."),
FILE_BOUNDS(FILE, 6, "Requested file chunk [%,%] exceeds file bounds."),
FILE_IO(FILE, 9999, "%"),
FILE_CREATE(FILE, 9999, "Directory '%' cannot be created."),
FILE_DEL(FILE, 9999, "Path '%' cannot be deleted."),
FILE_MOVE(FILE, 9999, "Moving '%' to '%' failed."),
