==================
comments
==================

module

(*
  This is multi-line
  dockblock
*)

-- This is a one-line comment.

end.

Everything after the module terminator is ignored and is never scanned, so it
does not have to be Elna: proc 1 2 3 "unterminated

---

(source_file
  (module_declaration
    (comment)
    (comment))
  (trailing_content))