mvaddnwstr
int mvaddnwstr(int, int x, const wchar_t *, int);
report_return(mvaddnwstr(y, x, wstr, n));