#include "SDL.h"
#include "SDL_thread.h"

void SDL_DestroyMutex(SDL_mutex *mutex);