Files
newlib/winsup/w32api/lib/ddk