12345678910111213#include <stdio.h> int n = 0; intmain (int argc, char * argv []){ while (1) printf ("%d ", n ++ ); return (0);} /* EOF */
