module Main where -- Testing that check-api-annotations can load a main module file main = putStrLn "hello"