#include <stdio.h>

int main(void) {
    int remaining = 3;
    while (remaining > 0) {
        printf("Remaining: %d\n", remaining);
        --remaining;
    }
    int attempts = 0;
    do {
        ++attempts;
    } while (attempts < 1);
    printf("Checks: %d\n", attempts);
    return 0;
}