#include <oskit/wimpi.h> void wimpi_destroy_window (wimpiWindow w);
void wimpi_destroy_window (wimpiWindow w);