#include <stdio.h>

#include "gdk/gdkmir.h"
/*top*/
extern int t(void);
int main(int argc, char **argv)
{
  if (argc > 1000000) {
  printf("%p", &t);
  }
return 0;
}

int t(void) { gdk_mir_display_get_type(); return 0; }
/* end */

