Imported Upstream version 0.1

[pkg-cerco/acc-trusted.git] / tests / test8.c

int main() {
        int x = 4;
        if (x == 4) { return 3; } else { return 5; }
}