#include "hwacha.h"
#include "decode_hwacha.h"
#include "encodings_hwacha.h"
#include "rocc.h"
#include <assert.h>