x : Z
x = 3

x : Z
x = 4