> Right now, we have printfl.c and printf_large.c in the rtl and Paul's
> fast_printf.c hopefully soon to come.
> Printf_large.c is ok for mds51-large and ds390 (although as yet only ds390
> has limited floating point support), but is broken for mds51-small.
> Printfl.c is broken for all models and ports. This is mainly caused by the
> stdarg issue.
Well, it isn't as bad as it seems. It turns out that printfl.c uses 25 (!)
more bytes in DSEG than printf_large.c and vprintf.c together, that fooled
me (stack overflow). It is much smaller in code though but doesn't give e.g.
the "%-04d". Stdarg seems reasonably stable.