CHECK( !cidOrig.empty(), false, "empty CID not allowed" );
String cid;
if ( *cidOrig.begin() == '<' && *cidOrig.rbegin() == '>' )
if ( *cidOrig.begin() == '<' && cidOrig.length() == '>' )
cid.assign(cidOrig, 1, cidOrig.length() - 2);
else
cid = cidOrig;