{kind = TOKEN_DIRECTIVE;       ; index = 62   ; length = 2    line = 5    ; column = 0    ; value ='if'; }
{kind = TOKEN_LEFTPAREN;       ; index = 65   ; length = 1    line = 5    ; column = 3    ; value ='('; }
{kind = TOKEN_IDENTIFIER;      ; index = 66   ; length = 3    line = 5    ; column = 4    ; value ='Env'; }
{kind = TOKEN_DOT;             ; index = 69   ; length = 1    line = 5    ; column = 7    ; value ='.'; }
{kind = TOKEN_IDENTIFIER;      ; index = 70   ; length = 3    line = 5    ; column = 8    ; value ='PS5'; }
{kind = TOKEN_LOGICALAND;      ; index = 74   ; length = 2    line = 5    ; column = 12   ; value ='&&'; }
{kind = TOKEN_IDENTIFIER;      ; index = 77   ; length = 3    line = 5    ; column = 15   ; value ='Env'; }
{kind = TOKEN_DOT;             ; index = 80   ; length = 1    line = 5    ; column = 18   ; value ='.'; }
{kind = TOKEN_IDENTIFIER;      ; index = 81   ; length = 3    line = 5    ; column = 19   ; value ='XSX'; }
{kind = TOKEN_RIGHTPAREN;      ; index = 84   ; length = 1    line = 5    ; column = 22   ; value =')'; }
{kind = TOKEN_LOGICALOR;       ; index = 86   ; length = 2    line = 5    ; column = 24   ; value ='||'; }
{kind = TOKEN_IDENTIFIER;      ; index = 89   ; length = 3    line = 5    ; column = 27   ; value ='Env'; }
{kind = TOKEN_DOT;             ; index = 92   ; length = 1    line = 5    ; column = 30   ; value ='.'; }
{kind = TOKEN_IDENTIFIER;      ; index = 93   ; length = 7    line = 5    ; column = 31   ; value ='Switch2'; }
{kind = TOKEN_LEFTBRACE;       ; index = 101  ; length = 1    line = 5    ; column = 39   ; value ='{'; }
{kind = TOKEN_VERTEX;          ; index = 105  ; length = 6    line = 6    ; column = 0    ; value ='vertex'; }
{kind = TOKEN_IDENTIFIER;      ; index = 112  ; length = 12   line = 6    ; column = 7    ; value ='console_main'; }
{kind = TOKEN_DOUBLECOLON;     ; index = 125  ; length = 2    line = 6    ; column = 20   ; value ='::'; }
{kind = TOKEN_LEFTPAREN;       ; index = 128  ; length = 1    line = 6    ; column = 23   ; value ='('; }
{kind = TOKEN_RIGHTPAREN;      ; index = 129  ; length = 1    line = 6    ; column = 24   ; value =')'; }
{kind = TOKEN_LEFTBRACE;       ; index = 131  ; length = 1    line = 6    ; column = 26   ; value ='{'; }
{kind = TOKEN_RIGHTBRACE;      ; index = 137  ; length = 1    line = 8    ; column = 0    ; value ='}'; }
{kind = TOKEN_RIGHTBRACE;      ; index = 140  ; length = 1    line = 9    ; column = 0    ; value ='}'; }
{kind = TOKEN_ELSE;            ; index = 142  ; length = 4    line = 9    ; column = 2    ; value ='else'; }
{kind = TOKEN_LEFTBRACE;       ; index = 147  ; length = 1    line = 9    ; column = 7    ; value ='{'; }
{kind = TOKEN_VERTEX;          ; index = 151  ; length = 6    line = 10   ; column = 0    ; value ='vertex'; }
{kind = TOKEN_IDENTIFIER;      ; index = 158  ; length = 12   line = 10   ; column = 7    ; value ='windows_main'; }
{kind = TOKEN_DOUBLECOLON;     ; index = 171  ; length = 2    line = 10   ; column = 20   ; value ='::'; }
{kind = TOKEN_LEFTPAREN;       ; index = 174  ; length = 1    line = 10   ; column = 23   ; value ='('; }
{kind = TOKEN_RIGHTPAREN;      ; index = 175  ; length = 1    line = 10   ; column = 24   ; value =')'; }
{kind = TOKEN_LEFTBRACE;       ; index = 177  ; length = 1    line = 10   ; column = 26   ; value ='{'; }
{kind = TOKEN_RIGHTBRACE;      ; index = 183  ; length = 1    line = 12   ; column = 0    ; value ='}'; }
{kind = TOKEN_RIGHTBRACE;      ; index = 186  ; length = 1    line = 13   ; column = 0    ; value ='}'; }
{kind = TOKEN_EOF;             ; index = 189  ; length = 0    line = 14   ; column = 0    ; value =''; }
