#ifndef WH_REALTHING_H_5a93db28_
#define WH_REALTHING_H_5a93db28_

#include <inttypes.h>

/*
 * Compare against the real thing.
 *
 * realthing_pre saves state and sets up to execute the instruction.
 *  Then, after the simulation, realthing_post() compares.
 */

extern void realthing_setup(const char *);
extern void realthing_pre(uint32_t, const uint32_t *, uint32_t, const uint32_t *, unsigned int);
extern void realthing_post(const uint32_t *, uint32_t, const uint32_t *, unsigned int);

#endif