Formerly ../stdio/obstream.c.~4~