/* philosopher 1 */
void phil1()
{
    int eating;
    eating = 0;
    while(1) {
        __COPPER_HANDSHAKE__("pick_left_1");
        __COPPER_HANDSHAKE__("pick_right_1");
        eating = 1;
        if(eating != 1) assert(0);
        eating = 0;
        __COPPER_HANDSHAKE__("put_left_1");
        __COPPER_HANDSHAKE__("put_right_1");
    }
}

/* philosopher 2 */
void phil2()
{
    int eating;
    eating = 0;
    while(1) {
        __COPPER_HANDSHAKE__("pick_left_2");
        __COPPER_HANDSHAKE__("pick_right_2");
        eating = 1;
        if(eating != 1) assert(0);
        eating = 0;
        __COPPER_HANDSHAKE__("put_left_2");
        __COPPER_HANDSHAKE__("put_right_2");
    }
}


/* fork 1 */
void fork1()
{
    do_fork1();
}

/* fork 2 */
void fork2()
{
    do_fork2();
}