w32_copy_file    2285 src/fileio.c     result = w32_copy_file (SSDATA (encoded_file), SSDATA (encoded_newname),
w32_copy_file     209 src/w32.h      extern int  w32_copy_file (const char *, const char *, int, int, int);