whitespace        268 user/sh.c      char whitespace[] = " \t\r\n\v";
whitespace        278 user/sh.c        while(s < es && strchr(whitespace, *s))
whitespace        303 user/sh.c          while(s < es && !strchr(whitespace, *s) && !strchr(symbols, *s))
whitespace        310 user/sh.c        while(s < es && strchr(whitespace, *s))
whitespace        322 user/sh.c        while(s < es && strchr(whitespace, *s))