theory Scratch
imports Main 
begin 

-- "a comment"
;
-- "another comment that PG does not get to"

end