adt_to_priv
adt_to_priv(def, p_data, required, event, PRIV_LIMIT);
adt_to_priv(def, p_data, required, event, PRIV_INHERITABLE);
adt_to_priv(def, p_data, required, event, PRIV_EFFECTIVE);