resource hello()
  write("Hello world")
end