also ensure that write buffer is bounded when __stdio_write returns

[musl] / src / prng / __seed48.c

unsigned short __seed48[7] = { 0, 0, 0, 0xe66d, 0xdeec, 0x5, 0xb };