void f() {
    int disj_id0;
    int disj_id1;
    int disj_id2;
    int disj_id0 = 0;
    int disj_id1 = 0;
    int disj_id2 = 0;
    disj_expr(0);
    disj_expr(1);
    disj_expr(2);
    float disj_type;
    int disj_type;
    char disj_type;
    DISJ_DECLARER0(0);
    DISJ_DECLARER1(0);
    DISJ_DECLARER2(0);
    return;
}

void g() {
    return;
}


void disj_id0();
void disj_id1();
void disj_id2();

void disj_id0() { foo(); }
void disj_id1() { foo(); }
void disj_id2() { foo(); }
