$ LAMA=../runtime ../src/Driver.exe -i test040.lama < test040.input > 1 2 3 4