b := 4
a := -3
b := 7 - 2*a - b
a := b/3 - a