:exec putStrLn $ show x
:exec putStrLn $ show y
