module TestMain where

main::IO()
main = pure ()