Turn consume_whitespace() into consume_whitespace_or_comments() and have it swallow /* comments */ as well.