Symbol: active_asid