#include <stdio.h>
#include <stdlib.h>

static FILE *static_fun = NULL;

FILE *
force_static_fun (void)
{
  return static_fun;
}