let Copy (PCHAR WR Dest, INT Dest_length, PCHAR Src, INT Src_length)
{                            
  ...
}