void *Scm__dataend_gauche_sdl_gfx = (void*)&Scm__dataend_gauche_sdl_gfx; void *Scm__bssend_gauche_sdl_gfx;