dwarfstring_i
dwarfstring_i v)
dwarfstring_i remaining = v;
dwarfstring_i divisor = 10;
char *format,dwarfstring_i);