$DEXE は激しくポンプを回している。