* 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?