int k = 0;
do {
    ++k;
} while(k < 1);