/* argument is the function representing the philosopher */ void * tableinit(void *(*)(int *)); void printstate(void); void pickup(int k); void putdown(int k);