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