==================
trailing_text
==================

module

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)
  (trailing_content))