print_value
print_value(stdout, value, "", bmachine.obase);
print_value(stdout, value, "", bmachine.obase);
void print_value(FILE *, const struct value *, const char *, u_int);
print_value(f, &stack->stack[i], prefix, base);