if(size > UINT_MAX - 13)  return(0);
ExtensionsSize(ext, num)    XpmExtension *ext;    unsigned int num;{    unsigned int x, y, a, size;    char **line;    size = 0;    for (x = 0; x < num; x++, ext++) {	/* 11 = 10 (for ',\n"XPMEXT ') + 1 (for '"') */	size += strlen(ext->name) + 11;	a = ext->nlines;	for (y = 0, line = ext->lines; y < a; y++, line++)	    /* 4 = 3 (for ',\n"') + 1 (for '"') */	    size += strlen(*line) + 4;    }    /* 13 is for ',\n"XPMENDEXT"' */    return size + 13;}