
void f1(void) { // $ Alert
    int x1;
    int x2;
    int x3;
}

void f2(void) {
    int x1;
    int x2;
}

void f3(void) {
    int x1;
    int x2;
    int x3;
}

// I have documented f4
void f4(void) {
    int x1;
    int x2;
    int x3;
}

void f5(void) {
    int x1;
    int x2;
    int x3;
}

void f6(void) { // $ Alert
    int x1;
    int x2;
    int x3;
}

void definitionUses(void) {
    f5();
    f6();
}

