module Main (main) where

main :: IO ()
main = print foo

foo = 5 :: Int