win32ports

ports of various non-standard, but regularly appeared headers to Windows platform