#include <stdio.h>
int int_0 = 0xDEADBEEF;
char* string_0;
// === ADDED ===
int count = 0;
// =============
int main()
{
int num;
do {
num = int_0;
// ==== ADDED ====
count++;
printf("count = %d\n", count);
// ===============
}
while(1 == 0);
switch(num) {
default:
string_0 = "makeAmerica...";
break;
case 0:
case 1:
case 2:
case 3:
case 4:
case 5:
break;
}
return 0;
}