/* Helper function for splitting a string into an argv-like array.  */
static const char* skip_arg(const char *cp)
/* Helper function for splitting a string into an argv-like array.  */
static const char* skip_arg(const char *cp)
{
	while (*cp && !isspace(*cp))
		cp++;
	return cp;
}