DB_SYNCPROB       288 kern/synchprobs/catmouse.c   DEBUG(DB_SYNCPROB,"cat starts to eat at bowl %d [%d:%d]\n",
DB_SYNCPROB       304 kern/synchprobs/catmouse.c   DEBUG(DB_SYNCPROB,"cat finished eating at bowl %d [%d:%d]\n",
DB_SYNCPROB       375 kern/synchprobs/catmouse.c   DEBUG(DB_SYNCPROB,"mouse starts to eat at bowl %d [%d:%d]\n",
DB_SYNCPROB       392 kern/synchprobs/catmouse.c   DEBUG(DB_SYNCPROB,"mouse finishes eating at bowl %d [%d:%d]\n",