#include "cpusim.h"

int
main() {
    test_preamble();
    message("sane test passed\n");
    DBG_JTAG_PASS("sane test passed\n");
    test_postamble();
    return 0;
}