#include <oskit/wimpi.h> void wimpi_destroy_toplevel(wimpiToplevelWindow w);
void wimpi_destroy_toplevel(wimpiToplevelWindow w);