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