scilla_version 0

library HelloWorld
contract HelloWorld()

transition setHello (msg : String)
  print msg
end