Control and copyright added.

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

char decr(char x) {
        if (x == 0) { return 0; }
        else {return decr(x-1); }
} 

int main() {
        return decr(4);
}