#include <stdio.h>

/*  noch nicht implementiert... */

FILE *tmpfile(void)
{
    return(0);
}