[[skip_spaces]] returns a pointer into [[s]] that points to
	the first non-blank character.

<<*>>=
#include <config.h>

EXPORT char *skip_spaces(char *s)
{
    while (isspace(*s)) s++;
    return s;
}