+// See LICENSE for license details.
+
#include "mmu.h"
#include "mulhi.h"
#include "softfloat.h"
-#include "platform.h" // softfloat isNaNF32UI, etc.
-#include "internals.h" // ditto
+#include "internals.h"
+#include "specialize.h"
+#include "tracer.h"
#include <assert.h>