int main(void) {
    do {
        4;
    } while(1)
    return 0;
}