fprintf(stderr,"ERROR (%s) : ShrinkString with base=<%s> maxSize=<%d> token=<%s> produced the following invalid UTF-8 string <%s>. Aborting.\n",ERRINFO,base.c_str(),maxSize,token.c_str(),base.c_str());
fprintf(stderr,"ERROR (%s) : ShrinkString with base=<%s> maxSize=<%d> token=<%s> produced the following invalid UTF-8 string <%s>. Aborting.\n",ERRINFO,base.c_str(),maxSize,token.c_str(),result.c_str());