printf("our_gdk_io_destroy()\n");
PRINTF("our_gdk_io_destroy()\n");
our_gdk_io_destroy(gpointer data){#ifdef DEBUG_APPSHELL  printf("our_gdk_io_destroy()\n");#endif  OurGdkIOClosure* ioc = (OurGdkIOClosure*) data;  if (ioc) {    g_free(ioc);  }}