theory Scratch
  imports Main
begin
  value ‹''Hello world!''›
end