unusedpointer     434 kern/synchprobs/catmouse.c cat_simulation(void * unusedpointer, 
unusedpointer     443 kern/synchprobs/catmouse.c   (void) unusedpointer;
unusedpointer     498 kern/synchprobs/catmouse.c mouse_simulation(void * unusedpointer,
unusedpointer     507 kern/synchprobs/catmouse.c   (void) unusedpointer;