win32_splitter
filespec1_split = win32_splitter(dso, filespec1, 0);
filespec2_split = win32_splitter(dso, filespec2, 1);