{-# OPTIONS_HUGS --some-hugs-flag #-}

-- We should ignore the above pragma, as we recognise that it is
-- hugs-specific. We shouldn't even warn about it.

module Test where