Use wmemcpy instead of mempcpy in printf builtin