#include <stdio.h>
void tth_dumpmem(int option, void *ptr)
{
fprintf(stderr, ">>> %s ( %d %p )\n", __func__, option, ptr);
/* It's a subroutine so NO return */
}