module Main
where

main :: IO ()
main  = {#call foo#}