theory Scratch imports Main begin

section "abacabb"

section {*
  testing
  *}

-- {* blah
  blah
  blah *}

(* more comments
  *)

section "a" subsection "b"

section "\"*}"

end