len += strlen(policydb.p_cat_val_to_name[i - 2]) + 1; 
len += strlen(policydb.p_cat_val_to_name[i - 1]) + 1; 
int mls_compute_context_len(struct context * context){	int i, l, len, range;	if (!selinux_mls_enabled)		return 0;	len = 1; /* for the beginning ":" */	for (l = 0; l < 2; l++) {		range = 0;		len += strlen(policydb.p_sens_val_to_name[context->range.level[l].sens - 1]);		for (i = 1; i <= ebitmap_length(&context->range.level[l].cat); i++) {			if (ebitmap_get_bit(&context->range.level[l].cat, i - 1)) {				if (range) {					range++;					continue;				}				len += strlen(policydb.p_cat_val_to_name[i - 1]) + 1;				range++;			} else {				if (range > 1)					len += strlen(policydb.p_cat_val_to_name[i - 2]) + 1;				range = 0;			}		}		/* Handle case where last category is the end of range */		if (range > 1)			len += strlen(policydb.p_cat_val_to_name[i - 2]) + 1;		if (l == 0) {			if (mls_level_eq(&context->range.level[0],			                 &context->range.level[1]))				break;			else				len++;		}	}	return len;}
4520	/local/tlutelli/issta_data/temp/c/2005_temp/2005/4520/782ebb992ec20b5afdd5786ee8c2f1b58b631f24/mls.c/clean/security/selinux/ss/mls.c