/* Defined in ftello.c.  */