w32_set_name     2027 src/w32fns.c     w32_set_name (f, arg, true);
w32_set_name     2036 src/w32fns.c     w32_set_name (f, arg, false);
w32_set_name     5676 src/w32fns.c       w32_set_name (f, name, explicit);