$ ../src/Driver.exe -runtime ../runtime -I ../stdlib/x64 -i test013.lama < test013.input > 10 11 10 11 3 2 1 0