cat_before_eating    6 kern/include/synchprobs.h void cat_before_eating(unsigned int bowl);
cat_before_eating  456 kern/synchprobs/catmouse.c     cat_before_eating(bowl); /* student-implemented function */