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;