main() { unsigned int i=65000; while(i++!=0); printf(“%d”,i); }