[`whitespace_char` <"\x20", "\x09", "\x0a", "\x0d">]
[`whitespace` <'whitespace_char', 'comment'>*!]