main = let xs = [1..] in print (length (xs ++ xs))