-- | a header
module HeaderTest where

-- * A section
x = 0

-- ** A subsection
y = 1

-- *** A subsubsection
main = print x

-- | bla bla
z = 0