#include "hwacha.h"
#include "mulhi.h"
#include "decode_hwacha_ut.h"
#include "softfloat.h"
#include "platform.h" // softfloat isNaNF32UI, etc.
#include "internals.h" // ditto
#include <assert.h>