int vhprintf (int, const char *, va_list) PRINTF_FORMAT (2, 0);
#endif
void hex_dump (uintptr_t ofs, const void *, size_t size, bool ascii);
int vhprintf (int, const char *, va_list) PRINTF_FORMAT (2, 0);
#endif
void hex_dump (uintptr_t ofs, const void *, size_t size, bool ascii);