AuxiliaryDex referenced by Dex