theory Trac345
imports Main 
begin 

(* "a comment" *)
-- a comment
(* "another comment that PG does not get to" *)

end