scilla_version 0

library HelloWorld
contract HelloWorld()

field welcome_msg : Uint64 = Uint64 0

transition setHello (msg : Uint64)
  print msg;
  (* value = "Hello world";
  x = builtin print value; *)
  welcome_msg := msg
end