../src/Driver.exe -i test088.lama < test088.input