whitespace        263 user/sh.c      char whitespace[] = " \t\r\n\v";
whitespace        273 user/sh.c        while(s < es && strchr(whitespace, *s))
whitespace        298 user/sh.c          while(s < es && !strchr(whitespace, *s) && !strchr(symbols, *s))
whitespace        305 user/sh.c        while(s < es && strchr(whitespace, *s))
whitespace        317 user/sh.c        while(s < es && strchr(whitespace, *s))