#if DEBUG
#define bu_debug fprintf(stdout,"DEBUG: in file %s at line %d \n",__FILE__,__LINE__);
#else
#define bu_debug
#endif