mouseindex        571 kern/synchprobs/catmouse.c   int catindex, mouseindex, error;
mouseindex        673 kern/synchprobs/catmouse.c   for(mouseindex = catindex; mouseindex < NumMice; mouseindex++) {
mouseindex        674 kern/synchprobs/catmouse.c     error = thread_fork("mouse_simulation thread", NULL, mouse_simulation, NULL, mouseindex);