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