{
/* FIXME: This is ad-hoc (to make the vprintf() testdriver work), and must be checked. */
/* FIXME: If filename is NULL, change mode. */
{
/* FIXME: This is ad-hoc (to make the vprintf() testdriver work), and must be checked. */
/* FIXME: If filename is NULL, change mode. */