{-# OPTIONS_GHC -F -pgmF happy #-} module Main where a :: String a = "0000" main :: IO () main = putStrLn a