<?xml version='1.0' encoding='ISO-8859-1' standalone='yes'?>
<document>
<symbol id='invalid' pos='0' line='0' column='0'>123A</symbol>
<symbol id='whitespace' pos='4' line='0' column='4'>&#10;</symbol>
<symbol id='ident' pos='5' line='1' column='0'>IF12</symbol>
<symbol id='period' pos='9' line='1' column='4'>.</symbol>
<symbol id='invalid' pos='10' line='1' column='5'>3E4</symbol>
<symbol id='then' pos='13' line='1' column='8'>THEN</symbol>
<symbol id='whitespace' pos='17' line='1' column='12'>&#10;</symbol>
<symbol id='endOfFile' pos='18' line='2' column='0'></symbol>
</document>
