> From: Keith Marshall <keith****@users*****> > Date: Sun, 5 May 2019 23:28:57 +0100 > > FWIW, I can reproduce your results, but I don't see the same effect, > if I substitute a (properly adjusted) call to printf(), in place of > snprintf(). We may need to tweak <stdio.h>, to use similar call > redirection for snprintf(), as is currently used for printf(), > fprintf(), and sprintf(). Thanks. If you want me to try some patch, I can.