/*
* $Source$
* $Author$
*
* Copyright 1988 by the Massachusetts Institute of Technology.
*
* For copying and distribution information, please see the file
* <mit-copyright.h>.
*
* Declaration of debugging flag.
*/
#ifndef lint
static char rcsid_debug_decl_c[] =
"$Id$";
#endif
#include <mit-copyright.h>
int des_debug = 0;