/* $Id$
 *
 */
#include <stdlib.h>

int n = 0;

int
main (int argc, char * argv [])
{
	while (1) printf ("%d ", n ++ );
	return (0);
}

/* EOF */