/* See the file NOTICE for conditions of use and distribution. */
/* Almost all the global variables are defined together in this one header, so
/* See the file NOTICE for conditions of use and distribution. */
/* Almost all the global variables are defined together in this one header, so