char buf[64];
fprintf(h->f, "\t.stabs\t\"%s:t%u=r%u;", get_type_name(tp), type_num, type_num);
tarval_snprintf(buf, sizeof(buf), get_mode_min(mode));
char buf[64];
fprintf(h->f, "\t.stabs\t\"%s:t%u=r%u;", get_type_name(tp), type_num, type_num);
tarval_snprintf(buf, sizeof(buf), get_mode_min(mode));