/* This file is automatically generated by configure.  Do not modify by hand. */
/* (Unless you are stuck on the Win32 platform. Then you don't have much choice. */