Acse/tests/misc/while0.src

int x;

read(x);

while (0) {
   write(0);
}

write(x);