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