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