/* Defined in iofopen.c.  */