int i=1; while(true) write("%d\n", i++);