bsllow
bsllow(drange.lower_bound);
bsllow(&admin_low);
bsllow(&admin_low);
bsllow(&admin_low);
bsllow(range->lower_bound);
bsllow(range->lower_bound);
bsllow(sl);
bsllow(slabel);
bsllow(&admin_low);
bsllow(&sl);
bsllow(sl); /* assumed: sets compartments to all zeroes */
bsllow(&label);
extern void bsllow(m_label_t *);