void *Scm__datastart_gauche_sdl = (void*)&Scm__datastart_gauche_sdl;
void *Scm__bssstart_gauche_sdl;