Function setupSeiDexExtension