mousenumber        45 kern/synchprobs/catmouse.c static void mouse_simulation(void *ptr, unsigned long mousenumber);
mousenumber       499 kern/synchprobs/catmouse.c           unsigned long mousenumber)
mousenumber       508 kern/synchprobs/catmouse.c   (void) mousenumber;