proc hello = (string name) string:
begin string msg := "Hello " + name;
      msg
end;