skip_whitespace() shouldn't claim its return value is const, it doesn't know
that and callers wind up typecasting it back.
12 files changed