proc goodbye = (string name) string:
begin string msg := "Goodbye " + name;
      msg
end;