x :: Int
x = 1

y :: Int
y = 2