$ ../src/Driver.exe -runtime ../runtime -I ../stdlib/x64 -i test025.lama < test025.input > 1 100 200 300 2 100 200 300 3 100 200 300