// 3.6 White Space
<YYINITIAL> { {WhiteSpace} { } }