// See LICENSE for license details.

#include "mmu.h"
#include "mulhi.h"
#include "softfloat.h"
#include "internals.h"
#include "specialize.h"
#include "tracer.h"
#include <assert.h>