-- Hello World in Blue
constraint HelloWorld is
  output("Hello, World!")
end