  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated05640.lama < generated05640.input
   >  > 3108
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated05641.lama < generated05641.input
   >  > -53
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated05642.lama < generated05642.input
   >  > 0
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated05643.lama < generated05643.input
   >  > 48
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated05644.lama < generated05644.input
   >  > 13
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated05645.lama < generated05645.input
   >  > 2210
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated05646.lama < generated05646.input
   >  > 170
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated05647.lama < generated05647.input
   >  > 2475
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated05648.lama < generated05648.input
   >  > 227
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated05649.lama < generated05649.input
   >  > -65
