module Main where

import MAlonzo.Code.ExportTestAgda

main :: IO ()
main = putStrLn itWorksText