@copy(value)
returns a fresh copy of the argument. For data structure like map or tab, the copy is a deep copy: elements of the data structure are also copied.