theory Scratch
  imports Pure
begin

ML \<open>fun test s = writeln ("This is a test: " ^ s)\<close>

end
