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