/* This file is automatically generated by configure.  Do not modify by hand. */