UIDNUMFILTER
len = strlen(UIDNUMFILTER) + strlen(uid) + 1;
(void) snprintf(filter, len, UIDNUMFILTER, uid);