void *Scm__datastart_gauche_sdl_mixer = (void*)&Scm__datastart_gauche_sdl_mixer;
void *Scm__bssstart_gauche_sdl_mixer;