$ LAMA=../runtime ../src/Driver.exe -i test015.lama < test015.input
   > 7919