(
  STRING src:="Hello", dest;
  dest:=src
)