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