value _11_SDL_SetHint(value x36, value x35)
{
   char* x37 = CTYPES_ADDR_OF_FATPTR(x36);
   char* x38 = CTYPES_ADDR_OF_FATPTR(x35);
   int x39 = SDL_SetHint(x37, x38);
   return Val_long(x39);
}