mouse_before_eating    8 kern/include/synchprobs.h void mouse_before_eating(unsigned int bowl);
mouse_before_eating  519 kern/synchprobs/catmouse.c     mouse_before_eating(bowl); /* student-implemented function */