Symbol: adt_to_priv