--* Spacing tests.
--
-- Paragraph before block.
--
-- [@code
-- first line  -- with no surrounding newlines
-- last line
-- ]
--
-- Paragraph between blocks.
--
-- [@code
--
-- first line  -- with surrounding newlines
-- last line
--
-- ]
--
-- Paragraph between blocks.
--
-- [@code
-- first line   -- block at end of comment
-- last line
-- ]
PROC FOO ()
  SKIP
:
