stack_symbol_ddb
stack_symbol_ddb(st->pcs[i], &name, &offset);
if (stack_symbol_ddb(st->pcs[i], &name, &offset) == 0)
(void)stack_symbol_ddb(st->pcs[i], &name, &offset);
(void)stack_symbol_ddb(st->pcs[i], &name, &offset);
static int stack_symbol_ddb(vm_offset_t pc, const char **name, long *offset);