def x := 1 x + x # returns 2