; This file was auto generated

  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00700.lama < generated00700.input
   >  >  >  > 1
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00701.lama < generated00701.input
   >  >  >  > 1
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00702.lama < generated00702.input
   >  >  >  > 1
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00703.lama < generated00703.input
   >  >  >  > 1
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00704.lama < generated00704.input
   >  >  >  > 1
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00705.lama < generated00705.input
   >  >  >  > 1
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00706.lama < generated00706.input
   >  >  >  > 1
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00707.lama < generated00707.input
   >  >  >  > 1
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00708.lama < generated00708.input
   >  >  >  > 0
  $ ../../src/Driver.exe -runtime ../../runtime -I ../../runtime -I ../../stdlib/x64 -i generated00709.lama < generated00709.input
   >  >  >  > 1
