// Dummy drivers to replace the default SDL2 drivers.
#include<stdint.h>#include<stdbool.h>#include<string.h>voidlockMixer(void){};voidunlockMixer(void){};boolopenMixer(int32_tmixingFrequency,int32_tmixingBufferSize){returntrue;};voidcloseMixer(void){};