PRIx8
return (rust_append_printf(st, "\\x%02" PRIx8, (uint8_t)c));
printf("OP: %x: param '%s' was '0x%" PRIx8
printf("now it is set to '0x%" PRIx8 "'.\n",
#define PRIxLEAST8 PRIx8
#define PRIxFAST8 PRIx8