void philosopher()
{
    int eating;
    eating = 0;
    while(1) {
        pick_left();
        __COPPER_HANDSHAKE__("pick_right");
        eating = 1;
	if(eating != 1) assert(0);
        eating = 0;
        __COPPER_HANDSHAKE__("put_left");
        put_right();
    }
}