{-# LANGUAGE Safe #-}

main = return ()