width_of_pid 6275 win32/win32.c width_of_pid = (int)sizeof(rb_pid_t) * 2, width_of_pid 6277 win32/win32.c width_of_ids = width_of_pid + 1 + width_of_serial + 1