1 int strintcmp (char const *, char const *)
2   _GL_ATTRIBUTE_NONNULL () _GL_ATTRIBUTE_PURE;
3 int strnumcmp (char const *, char const *, int, int)
4   _GL_ATTRIBUTE_NONNULL () _GL_ATTRIBUTE_PURE;
5