/* This is a dummy <sys/string.h> used as a placeholder for   systems that need to have a special header file.  */