mdbprintins
static int mdbprintins(int, int);
mdbprintins(brk_tab[i].inst, brk_tab[i].addr);
mdbprintins(*(int *)newaddr, newaddr);
if(mdbprintins(*(int *)newaddr, newaddr)) {
mdbprintins(*(int *)newaddr, newaddr);
if(mdbprintins(*(int *)newaddr, newaddr)) {
mdbprintins(*(int *)newaddr, newaddr);
mdbprintins(*(int *)newaddr, newaddr);