catnumber          44 kern/synchprobs/catmouse.c static void cat_simulation(void *ptr, unsigned long catnumber);
catnumber         435 kern/synchprobs/catmouse.c                unsigned long catnumber)
catnumber         444 kern/synchprobs/catmouse.c   (void) catnumber;