/* Defined in tmpfile.c.  */