#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 */
}