Don't mention this: it is better to skip unused codes and simply take MIN - 1 when allocating new error codes. The currently unused codes may have been used for some purpose in the past and that can cause confusion.