void *Scm__datastart_gauche_sdl_gfx = (void*)&Scm__datastart_gauche_sdl_gfx;
void *Scm__bssstart_gauche_sdl_gfx;