x : N
x = 1
x = 2