* Sven Joachim:
> This result is rather surprising. After all, "putchar('x')" is supposed
> to do the same as "putc('x', stdout)", but here it does not.Can you reproduce this with something newer than 2.13-38+rpi2+deb7u3? Or on something else besides armhf?
