Target : out String;
Drop : in Truncation := Error;
Justify : in Alignment := Left;
Pad : in Character := Space);
--Copies elements from Source to Target (safely if they overlap)
begin
X := Y;
end Copy;