also ensure that write buffer is bounded when __stdio_write returns