#include int main (void) { int x = 0; while (x < 1) { printf ("%d\n", ++x); } return 0; }