2 var x/edx: int <- copy 0
3 # statement 1: store 3 in x
5 # statement 2: define a new variable 'y' in register eax and store 4 in it
6 var y/eax: int <- copy 4
7 # statement 3: add y to x, storing the result in x
13 var result/eax: int <- foo
14 check-ints-equal result, 7, "F - foo should return 7, but didn't"