I know that copy is much faster in most cases (1 less call to `malloc`), though I don't know whether it makes a difference here.