_UC_MACHINE_INTRV
#define _UC_MACHINE32_INTRV(uc) _UC_MACHINE_INTRV(uc)
printf("_UC_MACHINE_INTRV(u)=%" PRIxREGISTER "\n", (register_t)_UC_MACHINE_INTRV(&u));