/*  The contents of this file are hereby released into the public domain.   */
/*  This does not affect the rest of the program code in , which      */
/*  remains under the GPL except where specific files state differently,    */
/*  such as this one.                                                       */