x : N
x = 2
y : N
y = x + 1
x
y