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