mouse_after_eating    9 kern/include/synchprobs.h void mouse_after_eating(unsigned int bowl);
mouse_after_eating  525 kern/synchprobs/catmouse.c     mouse_after_eating(bowl); /* student-implemented function */