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