module hello {
  procedure hello(upd string s) {
    s = "Hello, " ++ s ++ "!";
  }
}