lonely-tiger/tests/loops/while_post_dec

void main() {
    int a = 5;
    while(a > 0) {
        test(a--);
    }

    a = 5;
    while(a > 0) {
        test(a);
        a--;
    }
}