$ ../src/Driver.exe -runtime ../runtime -I ../stdlib/x64 -i test802.lama < test802.input
1
2
3
4
5
6
7
8
9
10