void consts (FILE *fd)
{
#define int_v(e) int_v(fd, "" # e, (int)e)
#define int_vx(e) int_vx(fd, "" # e, (int)e)
#define int32_v(e) int32_v(fd, "" # e, (int32_t)e)
#define str_v(e) str_v(fd, "" # e, (const char *)e)
/* Check that a C int is 32 bits. We rely on that when we pass
arrays of Point or Rect structs as bigarrays (e.g. see
Sdl.enclose_points_ba */
assert(sizeof(int) == 4);
/* Init */
int_v (SDL_INIT_TIMER);
int_v (SDL_INIT_AUDIO);
int_v (SDL_INIT_VIDEO);
int_v (SDL_INIT_JOYSTICK);
int_v (SDL_INIT_HAPTIC);
int_v (SDL_INIT_GAMECONTROLLER);
int_v (SDL_INIT_EVENTS);
int_v (SDL_INIT_EVERYTHING);
int_v (SDL_INIT_NOPARACHUTE);
/* Hint */
str_v (SDL_HINT_FRAMEBUFFER_ACCELERATION);
str_v (SDL_HINT_IDLE_TIMER_DISABLED);
str_v (SDL_HINT_ORIENTATIONS);
str_v (SDL_HINT_RENDER_DRIVER);
str_v (SDL_HINT_RENDER_OPENGL_SHADERS);
str_v (SDL_HINT_RENDER_SCALE_QUALITY);
str_v (SDL_HINT_RENDER_VSYNC);
int_v (SDL_HINT_DEFAULT);
int_v (SDL_HINT_NORMAL);
int_v (SDL_HINT_OVERRIDE);
/* Log */
int_v (SDL_LOG_CATEGORY_APPLICATION);
int_v (SDL_LOG_CATEGORY_ERROR);
int_v (SDL_LOG_CATEGORY_SYSTEM);
int_v (SDL_LOG_CATEGORY_AUDIO);
int_v (SDL_LOG_CATEGORY_VIDEO);
int_v (SDL_LOG_CATEGORY_RENDER);
int_v (SDL_LOG_CATEGORY_INPUT);
int_v (SDL_LOG_CATEGORY_CUSTOM);
int_v (SDL_LOG_PRIORITY_VERBOSE);
int_v (SDL_LOG_PRIORITY_DEBUG);
int_v (SDL_LOG_PRIORITY_INFO);
int_v (SDL_LOG_PRIORITY_WARN);
int_v (SDL_LOG_PRIORITY_ERROR);
int_v (SDL_LOG_PRIORITY_CRITICAL);
/* Pixel format */
int_v (SDL_BLENDMODE_NONE);
int_v (SDL_BLENDMODE_BLEND);
int_v (SDL_BLENDMODE_ADD);
int_v (SDL_BLENDMODE_MOD);
int32_v (SDL_PIXELFORMAT_UNKNOWN);
int32_v (SDL_PIXELFORMAT_INDEX1LSB);
int32_v (SDL_PIXELFORMAT_INDEX1MSB);
int32_v (SDL_PIXELFORMAT_INDEX4LSB);
int32_v (SDL_PIXELFORMAT_INDEX4MSB);
int32_v (SDL_PIXELFORMAT_INDEX8);
int32_v (SDL_PIXELFORMAT_RGB332);
int32_v (SDL_PIXELFORMAT_RGB444);
int32_v (SDL_PIXELFORMAT_RGB555);
int32_v (SDL_PIXELFORMAT_BGR555);
int32_v (SDL_PIXELFORMAT_ARGB4444);
int32_v (SDL_PIXELFORMAT_RGBA4444);
int32_v (SDL_PIXELFORMAT_ABGR4444);
int32_v (SDL_PIXELFORMAT_BGRA4444);
int32_v (SDL_PIXELFORMAT_ARGB1555);
int32_v (SDL_PIXELFORMAT_RGBA5551);
int32_v (SDL_PIXELFORMAT_ABGR1555);
int32_v (SDL_PIXELFORMAT_BGRA5551);
int32_v (SDL_PIXELFORMAT_RGB565);
int32_v (SDL_PIXELFORMAT_BGR565);
int32_v (SDL_PIXELFORMAT_RGB24);
int32_v (SDL_PIXELFORMAT_BGR24);
int32_v (SDL_PIXELFORMAT_RGB888);
int32_v (SDL_PIXELFORMAT_RGBX8888);
int32_v (SDL_PIXELFORMAT_BGR888);
int32_v (SDL_PIXELFORMAT_BGRX8888);
int32_v (SDL_PIXELFORMAT_ARGB8888);
int32_v (SDL_PIXELFORMAT_RGBA8888);
int32_v (SDL_PIXELFORMAT_ABGR8888);
int32_v (SDL_PIXELFORMAT_BGRA8888);
int32_v (SDL_PIXELFORMAT_ARGB2101010);
int32_v (SDL_PIXELFORMAT_YV12);
int32_v (SDL_PIXELFORMAT_IYUV);
int32_v (SDL_PIXELFORMAT_YUY2);
int32_v (SDL_PIXELFORMAT_UYVY);
int32_v (SDL_PIXELFORMAT_YVYU);
/* Renderer */
int_v (SDL_FLIP_NONE);
int_v (SDL_FLIP_HORIZONTAL);
int_v (SDL_FLIP_VERTICAL);
int_v (SDL_RENDERER_SOFTWARE);
int_v (SDL_RENDERER_ACCELERATED);
int_v (SDL_RENDERER_PRESENTVSYNC);
int_v (SDL_RENDERER_TARGETTEXTURE);
int_v (SDL_TEXTUREACCESS_STATIC);
int_v (SDL_TEXTUREACCESS_STREAMING);
int_v (SDL_TEXTUREACCESS_TARGET);
int_v (SDL_TEXTUREMODULATE_NONE);
int_v (SDL_TEXTUREMODULATE_COLOR);
int_v (SDL_TEXTUREMODULATE_ALPHA);
/* Windows and displays */
int_v (SDL_WINDOW_FULLSCREEN);
int_v (SDL_WINDOW_FULLSCREEN_DESKTOP);
int_v (SDL_WINDOW_OPENGL);
int_v (SDL_WINDOW_SHOWN);
int_v (SDL_WINDOW_HIDDEN);
int_v (SDL_WINDOW_BORDERLESS);
int_v (SDL_WINDOW_RESIZABLE);
int_v (SDL_WINDOW_MINIMIZED);
int_v (SDL_WINDOW_MAXIMIZED);
int_v (SDL_WINDOW_INPUT_GRABBED);
int_v (SDL_WINDOW_INPUT_FOCUS);
int_v (SDL_WINDOW_MOUSE_FOCUS);
int_v (SDL_WINDOW_FOREIGN);
int_v (SDL_WINDOW_ALLOW_HIGHDPI);
int_v (SDL_WINDOWPOS_CENTERED);
int_v (SDL_WINDOWPOS_UNDEFINED);
/* SDL_GLcontextFlag */
int_v (SDL_GL_CONTEXT_DEBUG_FLAG);
int_v (SDL_GL_CONTEXT_FORWARD_COMPATIBLE_FLAG);
int_v (SDL_GL_CONTEXT_ROBUST_ACCESS_FLAG);
int_v (SDL_GL_CONTEXT_RESET_ISOLATION_FLAG);
/* SDL_GLprofile */
int_v (SDL_GL_CONTEXT_PROFILE_CORE);
int_v (SDL_GL_CONTEXT_PROFILE_COMPATIBILITY);
int_v (SDL_GL_CONTEXT_PROFILE_ES);
/* SDL_GLattr */
int_v (SDL_GL_RED_SIZE);
int_v (SDL_GL_GREEN_SIZE);
int_v (SDL_GL_BLUE_SIZE);
int_v (SDL_GL_ALPHA_SIZE);
int_v (SDL_GL_BUFFER_SIZE);
int_v (SDL_GL_DOUBLEBUFFER);
int_v (SDL_GL_DEPTH_SIZE);
int_v (SDL_GL_STENCIL_SIZE);
int_v (SDL_GL_ACCUM_RED_SIZE);
int_v (SDL_GL_ACCUM_GREEN_SIZE);
int_v (SDL_GL_ACCUM_BLUE_SIZE);
int_v (SDL_GL_ACCUM_ALPHA_SIZE);
int_v (SDL_GL_STEREO);
int_v (SDL_GL_MULTISAMPLEBUFFERS);
int_v (SDL_GL_MULTISAMPLESAMPLES);
int_v (SDL_GL_ACCELERATED_VISUAL);
int_v (SDL_GL_CONTEXT_MAJOR_VERSION);
int_v (SDL_GL_CONTEXT_MINOR_VERSION);
int_v (SDL_GL_CONTEXT_EGL);
int_v (SDL_GL_CONTEXT_FLAGS);
int_v (SDL_GL_CONTEXT_PROFILE_MASK);
int_v (SDL_GL_SHARE_WITH_CURRENT_CONTEXT);
int_v (SDL_GL_FRAMEBUFFER_SRGB_CAPABLE);
/* Message box */
int_v (SDL_MESSAGEBOX_ERROR);
int_v (SDL_MESSAGEBOX_WARNING);
int_v (SDL_MESSAGEBOX_INFORMATION);
int_v (SDL_MESSAGEBOX_BUTTON_RETURNKEY_DEFAULT);
int_v (SDL_MESSAGEBOX_BUTTON_ESCAPEKEY_DEFAULT);
int_v (SDL_MESSAGEBOX_COLOR_BACKGROUND);
int_v (SDL_MESSAGEBOX_COLOR_TEXT);
int_v (SDL_MESSAGEBOX_COLOR_BUTTON_BORDER);
int_v (SDL_MESSAGEBOX_COLOR_BUTTON_BACKGROUND);
int_v (SDL_MESSAGEBOX_COLOR_BUTTON_SELECTED);
int_v (SDL_MESSAGEBOX_COLOR_MAX);
/* Keyboard */
assert(sizeof (SDL_Keycode) == 4);
assert(sizeof (SDL_Scancode) == 4);
int_v (SDL_SCANCODE_UNKNOWN);
int_v (SDL_SCANCODE_A);
int_v (SDL_SCANCODE_B);
int_v (SDL_SCANCODE_C);
int_v (SDL_SCANCODE_D);
int_v (SDL_SCANCODE_E);
int_v (SDL_SCANCODE_F);
int_v (SDL_SCANCODE_G);
int_v (SDL_SCANCODE_H);
int_v (SDL_SCANCODE_I);
int_v (SDL_SCANCODE_J);
int_v (SDL_SCANCODE_K);
int_v (SDL_SCANCODE_L);
int_v (SDL_SCANCODE_M);
int_v (SDL_SCANCODE_N);
int_v (SDL_SCANCODE_O);
int_v (SDL_SCANCODE_P);
int_v (SDL_SCANCODE_Q);
int_v (SDL_SCANCODE_R);
int_v (SDL_SCANCODE_S);
int_v (SDL_SCANCODE_T);
int_v (SDL_SCANCODE_U);
int_v (SDL_SCANCODE_V);
int_v (SDL_SCANCODE_W);
int_v (SDL_SCANCODE_X);
int_v (SDL_SCANCODE_Y);
int_v (SDL_SCANCODE_Z);
int_v (SDL_SCANCODE_1);
int_v (SDL_SCANCODE_2);
int_v (SDL_SCANCODE_3);
int_v (SDL_SCANCODE_4);
int_v (SDL_SCANCODE_5);
int_v (SDL_SCANCODE_6);
int_v (SDL_SCANCODE_7);
int_v (SDL_SCANCODE_8);
int_v (SDL_SCANCODE_9);
int_v (SDL_SCANCODE_0);
int_v (SDL_SCANCODE_RETURN);
int_v (SDL_SCANCODE_ESCAPE);
int_v (SDL_SCANCODE_BACKSPACE);
int_v (SDL_SCANCODE_TAB);
int_v (SDL_SCANCODE_SPACE);
int_v (SDL_SCANCODE_MINUS);
int_v (SDL_SCANCODE_EQUALS);
int_v (SDL_SCANCODE_LEFTBRACKET);
int_v (SDL_SCANCODE_RIGHTBRACKET);
int_v (SDL_SCANCODE_BACKSLASH);
int_v (SDL_SCANCODE_NONUSHASH);
int_v (SDL_SCANCODE_SEMICOLON);
int_v (SDL_SCANCODE_APOSTROPHE);
int_v (SDL_SCANCODE_GRAVE);
int_v (SDL_SCANCODE_COMMA);
int_v (SDL_SCANCODE_PERIOD);
int_v (SDL_SCANCODE_SLASH);
int_v (SDL_SCANCODE_CAPSLOCK);
int_v (SDL_SCANCODE_F1);
int_v (SDL_SCANCODE_F2);
int_v (SDL_SCANCODE_F3);
int_v (SDL_SCANCODE_F4);
int_v (SDL_SCANCODE_F5);
int_v (SDL_SCANCODE_F6);
int_v (SDL_SCANCODE_F7);
int_v (SDL_SCANCODE_F8);
int_v (SDL_SCANCODE_F9);
int_v (SDL_SCANCODE_F10);
int_v (SDL_SCANCODE_F11);
int_v (SDL_SCANCODE_F12);
int_v (SDL_SCANCODE_PRINTSCREEN);
int_v (SDL_SCANCODE_SCROLLLOCK);
int_v (SDL_SCANCODE_PAUSE);
int_v (SDL_SCANCODE_INSERT);
int_v (SDL_SCANCODE_HOME);
int_v (SDL_SCANCODE_PAGEUP);
int_v (SDL_SCANCODE_DELETE);
int_v (SDL_SCANCODE_END);
int_v (SDL_SCANCODE_PAGEDOWN);
int_v (SDL_SCANCODE_RIGHT);
int_v (SDL_SCANCODE_LEFT);
int_v (SDL_SCANCODE_DOWN);
int_v (SDL_SCANCODE_UP);
int_v (SDL_SCANCODE_NUMLOCKCLEAR);
int_v (SDL_SCANCODE_KP_DIVIDE);
int_v (SDL_SCANCODE_KP_MULTIPLY);
int_v (SDL_SCANCODE_KP_MINUS);
int_v (SDL_SCANCODE_KP_PLUS);
int_v (SDL_SCANCODE_KP_ENTER);
int_v (SDL_SCANCODE_KP_1);
int_v (SDL_SCANCODE_KP_2);
int_v (SDL_SCANCODE_KP_3);
int_v (SDL_SCANCODE_KP_4);
int_v (SDL_SCANCODE_KP_5);
int_v (SDL_SCANCODE_KP_6);
int_v (SDL_SCANCODE_KP_7);
int_v (SDL_SCANCODE_KP_8);
int_v (SDL_SCANCODE_KP_9);
int_v (SDL_SCANCODE_KP_0);
int_v (SDL_SCANCODE_KP_PERIOD);
int_v (SDL_SCANCODE_NONUSBACKSLASH);
int_v (SDL_SCANCODE_APPLICATION);
int_v (SDL_SCANCODE_KP_EQUALS);
int_v (SDL_SCANCODE_F13);
int_v (SDL_SCANCODE_F14);
int_v (SDL_SCANCODE_F15);
int_v (SDL_SCANCODE_F16);
int_v (SDL_SCANCODE_F17);
int_v (SDL_SCANCODE_F18);
int_v (SDL_SCANCODE_F19);
int_v (SDL_SCANCODE_F20);
int_v (SDL_SCANCODE_F21);
int_v (SDL_SCANCODE_F22);
int_v (SDL_SCANCODE_F23);
int_v (SDL_SCANCODE_F24);
int_v (SDL_SCANCODE_EXECUTE);
int_v (SDL_SCANCODE_HELP);
int_v (SDL_SCANCODE_MENU);
int_v (SDL_SCANCODE_SELECT);
int_v (SDL_SCANCODE_STOP);
int_v (SDL_SCANCODE_AGAIN);
int_v (SDL_SCANCODE_UNDO);
int_v (SDL_SCANCODE_CUT);
int_v (SDL_SCANCODE_COPY);
int_v (SDL_SCANCODE_PASTE);
int_v (SDL_SCANCODE_FIND);
int_v (SDL_SCANCODE_MUTE);
int_v (SDL_SCANCODE_VOLUMEUP);
int_v (SDL_SCANCODE_VOLUMEDOWN);
int_v (SDL_SCANCODE_KP_COMMA);
int_v (SDL_SCANCODE_KP_EQUALSAS400);
int_v (SDL_SCANCODE_INTERNATIONAL1);
int_v (SDL_SCANCODE_INTERNATIONAL2);
int_v (SDL_SCANCODE_INTERNATIONAL3);
int_v (SDL_SCANCODE_INTERNATIONAL4);
int_v (SDL_SCANCODE_INTERNATIONAL5);
int_v (SDL_SCANCODE_INTERNATIONAL6);
int_v (SDL_SCANCODE_INTERNATIONAL7);
int_v (SDL_SCANCODE_INTERNATIONAL8);
int_v (SDL_SCANCODE_INTERNATIONAL9);
int_v (SDL_SCANCODE_LANG1);
int_v (SDL_SCANCODE_LANG2);
int_v (SDL_SCANCODE_LANG3);
int_v (SDL_SCANCODE_LANG4);
int_v (SDL_SCANCODE_LANG5);
int_v (SDL_SCANCODE_LANG6);
int_v (SDL_SCANCODE_LANG7);
int_v (SDL_SCANCODE_LANG8);
int_v (SDL_SCANCODE_LANG9);
int_v (SDL_SCANCODE_ALTERASE);
int_v (SDL_SCANCODE_SYSREQ);
int_v (SDL_SCANCODE_CANCEL);
int_v (SDL_SCANCODE_CLEAR);
int_v (SDL_SCANCODE_PRIOR);
int_v (SDL_SCANCODE_RETURN2);
int_v (SDL_SCANCODE_SEPARATOR);
int_v (SDL_SCANCODE_OUT);
int_v (SDL_SCANCODE_OPER);
int_v (SDL_SCANCODE_CLEARAGAIN);
int_v (SDL_SCANCODE_CRSEL);
int_v (SDL_SCANCODE_EXSEL);
int_v (SDL_SCANCODE_KP_00);
int_v (SDL_SCANCODE_KP_000);
int_v (SDL_SCANCODE_THOUSANDSSEPARATOR);
int_v (SDL_SCANCODE_DECIMALSEPARATOR);
int_v (SDL_SCANCODE_CURRENCYUNIT);
int_v (SDL_SCANCODE_CURRENCYSUBUNIT);
int_v (SDL_SCANCODE_KP_LEFTPAREN);
int_v (SDL_SCANCODE_KP_RIGHTPAREN);
int_v (SDL_SCANCODE_KP_LEFTBRACE);
int_v (SDL_SCANCODE_KP_RIGHTBRACE);
int_v (SDL_SCANCODE_KP_TAB);
int_v (SDL_SCANCODE_KP_BACKSPACE);
int_v (SDL_SCANCODE_KP_A);
int_v (SDL_SCANCODE_KP_B);
int_v (SDL_SCANCODE_KP_C);
int_v (SDL_SCANCODE_KP_D);
int_v (SDL_SCANCODE_KP_E);
int_v (SDL_SCANCODE_KP_F);
int_v (SDL_SCANCODE_KP_XOR);
int_v (SDL_SCANCODE_KP_POWER);
int_v (SDL_SCANCODE_KP_PERCENT);
int_v (SDL_SCANCODE_KP_LESS);
int_v (SDL_SCANCODE_KP_GREATER);
int_v (SDL_SCANCODE_KP_AMPERSAND);
int_v (SDL_SCANCODE_KP_DBLAMPERSAND);
int_v (SDL_SCANCODE_KP_VERTICALBAR);
int_v (SDL_SCANCODE_KP_DBLVERTICALBAR);
int_v (SDL_SCANCODE_KP_COLON);
int_v (SDL_SCANCODE_KP_HASH);
int_v (SDL_SCANCODE_KP_SPACE);
int_v (SDL_SCANCODE_KP_AT);
int_v (SDL_SCANCODE_KP_EXCLAM);
int_v (SDL_SCANCODE_KP_MEMSTORE);
int_v (SDL_SCANCODE_KP_MEMRECALL);
int_v (SDL_SCANCODE_KP_MEMCLEAR);
int_v (SDL_SCANCODE_KP_MEMADD);
int_v (SDL_SCANCODE_KP_MEMSUBTRACT);
int_v (SDL_SCANCODE_KP_MEMMULTIPLY);
int_v (SDL_SCANCODE_KP_MEMDIVIDE);
int_v (SDL_SCANCODE_KP_PLUSMINUS);
int_v (SDL_SCANCODE_KP_CLEAR);
int_v (SDL_SCANCODE_KP_CLEARENTRY);
int_v (SDL_SCANCODE_KP_BINARY);
int_v (SDL_SCANCODE_KP_OCTAL);
int_v (SDL_SCANCODE_KP_DECIMAL);
int_v (SDL_SCANCODE_KP_HEXADECIMAL);
int_v (SDL_SCANCODE_LCTRL);
int_v (SDL_SCANCODE_LSHIFT);
int_v (SDL_SCANCODE_LALT);
int_v (SDL_SCANCODE_LGUI);
int_v (SDL_SCANCODE_RCTRL);
int_v (SDL_SCANCODE_RSHIFT);
int_v (SDL_SCANCODE_RALT);
int_v (SDL_SCANCODE_RGUI);
int_v (SDL_SCANCODE_MODE);
int_v (SDL_SCANCODE_AUDIONEXT);
int_v (SDL_SCANCODE_AUDIOPREV);
int_v (SDL_SCANCODE_AUDIOSTOP);
int_v (SDL_SCANCODE_AUDIOPLAY);
int_v (SDL_SCANCODE_AUDIOMUTE);
int_v (SDL_SCANCODE_MEDIASELECT);
int_v (SDL_SCANCODE_WWW);
int_v (SDL_SCANCODE_MAIL);
int_v (SDL_SCANCODE_CALCULATOR);
int_v (SDL_SCANCODE_COMPUTER);
int_v (SDL_SCANCODE_AC_SEARCH);
int_v (SDL_SCANCODE_AC_HOME);
int_v (SDL_SCANCODE_AC_BACK);
int_v (SDL_SCANCODE_AC_FORWARD);
int_v (SDL_SCANCODE_AC_STOP);
int_v (SDL_SCANCODE_AC_REFRESH);
int_v (SDL_SCANCODE_AC_BOOKMARKS);
int_v (SDL_SCANCODE_BRIGHTNESSDOWN);
int_v (SDL_SCANCODE_BRIGHTNESSUP);
int_v (SDL_SCANCODE_DISPLAYSWITCH);
int_v (SDL_SCANCODE_KBDILLUMTOGGLE);
int_v (SDL_SCANCODE_KBDILLUMDOWN);
int_v (SDL_SCANCODE_KBDILLUMUP);
int_v (SDL_SCANCODE_EJECT);
int_v (SDL_SCANCODE_SLEEP);
int_v (SDL_SCANCODE_APP1);
int_v (SDL_SCANCODE_APP2);
int_v (SDL_NUM_SCANCODES);
int_vx (SDLK_SCANCODE_MASK);
int_vx (SDLK_UNKNOWN);
int_vx (SDLK_RETURN);
int_vx (SDLK_ESCAPE);
int_vx (SDLK_BACKSPACE);
int_vx (SDLK_TAB);
int_vx (SDLK_SPACE);
int_vx (SDLK_EXCLAIM);
int_vx (SDLK_QUOTEDBL);
int_vx (SDLK_HASH);
int_vx (SDLK_PERCENT);
int_vx (SDLK_DOLLAR);
int_vx (SDLK_AMPERSAND);
int_vx (SDLK_QUOTE);
int_vx (SDLK_LEFTPAREN);
int_vx (SDLK_RIGHTPAREN);
int_vx (SDLK_ASTERISK);
int_vx (SDLK_PLUS);
int_vx (SDLK_COMMA);
int_vx (SDLK_MINUS);
int_vx (SDLK_PERIOD);
int_vx (SDLK_SLASH);
int_vx (SDLK_0);
int_vx (SDLK_1);
int_vx (SDLK_2);
int_vx (SDLK_3);
int_vx (SDLK_4);
int_vx (SDLK_5);
int_vx (SDLK_6);
int_vx (SDLK_7);
int_vx (SDLK_8);
int_vx (SDLK_9);
int_vx (SDLK_COLON);
int_vx (SDLK_SEMICOLON);
int_vx (SDLK_LESS);
int_vx (SDLK_EQUALS);
int_vx (SDLK_GREATER);
int_vx (SDLK_QUESTION);
int_vx (SDLK_AT);
int_vx (SDLK_LEFTBRACKET);
int_vx (SDLK_BACKSLASH);
int_vx (SDLK_RIGHTBRACKET);
int_vx (SDLK_CARET);
int_vx (SDLK_UNDERSCORE);
int_vx (SDLK_BACKQUOTE);
int_vx (SDLK_a);
int_vx (SDLK_b);
int_vx (SDLK_c);
int_vx (SDLK_d);
int_vx (SDLK_e);
int_vx (SDLK_f);
int_vx (SDLK_g);
int_vx (SDLK_h);
int_vx (SDLK_i);
int_vx (SDLK_j);
int_vx (SDLK_k);
int_vx (SDLK_l);
int_vx (SDLK_m);
int_vx (SDLK_n);
int_vx (SDLK_o);
int_vx (SDLK_p);
int_vx (SDLK_q);
int_vx (SDLK_r);
int_vx (SDLK_s);
int_vx (SDLK_t);
int_vx (SDLK_u);
int_vx (SDLK_v);
int_vx (SDLK_w);
int_vx (SDLK_x);
int_vx (SDLK_y);
int_vx (SDLK_z);
int_vx (SDLK_CAPSLOCK);
int_vx (SDLK_F1);
int_vx (SDLK_F2);
int_vx (SDLK_F3);
int_vx (SDLK_F4);
int_vx (SDLK_F5);
int_vx (SDLK_F6);
int_vx (SDLK_F7);
int_vx (SDLK_F8);
int_vx (SDLK_F9);
int_vx (SDLK_F10);
int_vx (SDLK_F11);
int_vx (SDLK_F12);
int_vx (SDLK_PRINTSCREEN);
int_vx (SDLK_SCROLLLOCK);
int_vx (SDLK_PAUSE);
int_vx (SDLK_INSERT);
int_vx (SDLK_HOME);
int_vx (SDLK_PAGEUP);
int_vx (SDLK_DELETE);
int_vx (SDLK_END);
int_vx (SDLK_PAGEDOWN);
int_vx (SDLK_RIGHT);
int_vx (SDLK_LEFT);
int_vx (SDLK_DOWN);
int_vx (SDLK_UP);
int_vx (SDLK_NUMLOCKCLEAR);
int_vx (SDLK_KP_DIVIDE);
int_vx (SDLK_KP_MULTIPLY);
int_vx (SDLK_KP_MINUS);
int_vx (SDLK_KP_PLUS);
int_vx (SDLK_KP_ENTER);
int_vx (SDLK_KP_1);
int_vx (SDLK_KP_2);
int_vx (SDLK_KP_3);
int_vx (SDLK_KP_4);
int_vx (SDLK_KP_5);
int_vx (SDLK_KP_6);
int_vx (SDLK_KP_7);
int_vx (SDLK_KP_8);
int_vx (SDLK_KP_9);
int_vx (SDLK_KP_0);
int_vx (SDLK_KP_PERIOD);
int_vx (SDLK_APPLICATION);
int_vx (SDLK_POWER);
int_vx (SDLK_KP_EQUALS);
int_vx (SDLK_F13);
int_vx (SDLK_F14);
int_vx (SDLK_F15);
int_vx (SDLK_F16);
int_vx (SDLK_F17);
int_vx (SDLK_F18);
int_vx (SDLK_F19);
int_vx (SDLK_F20);
int_vx (SDLK_F21);
int_vx (SDLK_F22);
int_vx (SDLK_F23);
int_vx (SDLK_F24);
int_vx (SDLK_EXECUTE);
int_vx (SDLK_HELP);
int_vx (SDLK_MENU);
int_vx (SDLK_SELECT);
int_vx (SDLK_STOP);
int_vx (SDLK_AGAIN);
int_vx (SDLK_UNDO);
int_vx (SDLK_CUT);
int_vx (SDLK_COPY);
int_vx (SDLK_PASTE);
int_vx (SDLK_FIND);
int_vx (SDLK_MUTE);
int_vx (SDLK_VOLUMEUP);
int_vx (SDLK_VOLUMEDOWN);
int_vx (SDLK_KP_COMMA);
int_vx (SDLK_KP_EQUALSAS400);
int_vx (SDLK_ALTERASE);
int_vx (SDLK_SYSREQ);
int_vx (SDLK_CANCEL);
int_vx (SDLK_CLEAR);
int_vx (SDLK_PRIOR);
int_vx (SDLK_RETURN2);
int_vx (SDLK_SEPARATOR);
int_vx (SDLK_OUT);
int_vx (SDLK_OPER);
int_vx (SDLK_CLEARAGAIN);
int_vx (SDLK_CRSEL);
int_vx (SDLK_EXSEL);
int_vx (SDLK_KP_00);
int_vx (SDLK_KP_000);
int_vx (SDLK_THOUSANDSSEPARATOR);
int_vx (SDLK_DECIMALSEPARATOR);
int_vx (SDLK_CURRENCYUNIT);
int_vx (SDLK_CURRENCYSUBUNIT);
int_vx (SDLK_KP_LEFTPAREN);
int_vx (SDLK_KP_RIGHTPAREN);
int_vx (SDLK_KP_LEFTBRACE);
int_vx (SDLK_KP_RIGHTBRACE);
int_vx (SDLK_KP_TAB);
int_vx (SDLK_KP_BACKSPACE);
int_vx (SDLK_KP_A);
int_vx (SDLK_KP_B);
int_vx (SDLK_KP_C);
int_vx (SDLK_KP_D);
int_vx (SDLK_KP_E);
int_vx (SDLK_KP_F);
int_vx (SDLK_KP_XOR);
int_vx (SDLK_KP_POWER);
int_vx (SDLK_KP_PERCENT);
int_vx (SDLK_KP_LESS);
int_vx (SDLK_KP_GREATER);
int_vx (SDLK_KP_AMPERSAND);
int_vx (SDLK_KP_DBLAMPERSAND);
int_vx (SDLK_KP_VERTICALBAR);
int_vx (SDLK_KP_DBLVERTICALBAR);
int_vx (SDLK_KP_COLON);
int_vx (SDLK_KP_HASH);
int_vx (SDLK_KP_SPACE);
int_vx (SDLK_KP_AT);
int_vx (SDLK_KP_EXCLAM);
int_vx (SDLK_KP_MEMSTORE);
int_vx (SDLK_KP_MEMRECALL);
int_vx (SDLK_KP_MEMCLEAR);
int_vx (SDLK_KP_MEMADD);
int_vx (SDLK_KP_MEMSUBTRACT);
int_vx (SDLK_KP_MEMMULTIPLY);
int_vx (SDLK_KP_MEMDIVIDE);
int_vx (SDLK_KP_PLUSMINUS);
int_vx (SDLK_KP_CLEAR);
int_vx (SDLK_KP_CLEARENTRY);
int_vx (SDLK_KP_BINARY);
int_vx (SDLK_KP_OCTAL);
int_vx (SDLK_KP_DECIMAL);
int_vx (SDLK_KP_HEXADECIMAL);
int_vx (SDLK_LCTRL);
int_vx (SDLK_LSHIFT);
int_vx (SDLK_LALT);
int_vx (SDLK_LGUI);
int_vx (SDLK_RCTRL);
int_vx (SDLK_RSHIFT);
int_vx (SDLK_RALT);
int_vx (SDLK_RGUI);
int_vx (SDLK_MODE);
int_vx (SDLK_AUDIONEXT);
int_vx (SDLK_AUDIOPREV);
int_vx (SDLK_AUDIOSTOP);
int_vx (SDLK_AUDIOPLAY);
int_vx (SDLK_AUDIOMUTE);
int_vx (SDLK_MEDIASELECT);
int_vx (SDLK_WWW);
int_vx (SDLK_MAIL);
int_vx (SDLK_CALCULATOR);
int_vx (SDLK_COMPUTER);
int_vx (SDLK_AC_SEARCH);
int_vx (SDLK_AC_HOME);
int_vx (SDLK_AC_BACK);
int_vx (SDLK_AC_FORWARD);
int_vx (SDLK_AC_STOP);
int_vx (SDLK_AC_REFRESH);
int_vx (SDLK_AC_BOOKMARKS);
int_vx (SDLK_BRIGHTNESSDOWN);
int_vx (SDLK_BRIGHTNESSUP);
int_vx (SDLK_DISPLAYSWITCH);
int_vx (SDLK_KBDILLUMTOGGLE);
int_vx (SDLK_KBDILLUMDOWN);
int_vx (SDLK_KBDILLUMUP);
int_vx (SDLK_EJECT);
int_vx (SDLK_SLEEP);
int_vx (KMOD_NONE);
int_vx (KMOD_LSHIFT);
int_vx (KMOD_RSHIFT);
int_vx (KMOD_LCTRL);
int_vx (KMOD_RCTRL);
int_vx (KMOD_LALT);
int_vx (KMOD_RALT);
int_vx (KMOD_LGUI);
int_vx (KMOD_RGUI);
int_vx (KMOD_NUM);
int_vx (KMOD_CAPS);
int_vx (KMOD_MODE);
int_vx (KMOD_RESERVED);
int_vx (KMOD_CTRL);
int_vx (KMOD_SHIFT);
int_vx (KMOD_ALT);
int_vx (KMOD_GUI);
/* Mouse */
int_v (SDL_SYSTEM_CURSOR_ARROW);
int_v (SDL_SYSTEM_CURSOR_IBEAM);
int_v (SDL_SYSTEM_CURSOR_WAIT);
int_v (SDL_SYSTEM_CURSOR_CROSSHAIR);
int_v (SDL_SYSTEM_CURSOR_WAITARROW);
int_v (SDL_SYSTEM_CURSOR_SIZENWSE);
int_v (SDL_SYSTEM_CURSOR_SIZENESW);
int_v (SDL_SYSTEM_CURSOR_SIZEWE);
int_v (SDL_SYSTEM_CURSOR_SIZENS);
int_v (SDL_SYSTEM_CURSOR_SIZEALL);
int_v (SDL_SYSTEM_CURSOR_NO);
int_v (SDL_SYSTEM_CURSOR_HAND);
int_v (SDL_BUTTON_LEFT);
int_v (SDL_BUTTON_MIDDLE);
int_v (SDL_BUTTON_RIGHT);
int_v (SDL_BUTTON_X1);
int_v (SDL_BUTTON_X2);
int_v (SDL_BUTTON_LMASK);
int_v (SDL_BUTTON_MMASK);
int_v (SDL_BUTTON_RMASK);
int_v (SDL_BUTTON_X1MASK);
int_v (SDL_BUTTON_X2MASK);
/* Touch */
int32_v (SDL_TOUCH_MOUSEID);
/* Joystick */
int_v (SDL_HAT_CENTERED);
int_v (SDL_HAT_UP);
int_v (SDL_HAT_RIGHT);
int_v (SDL_HAT_DOWN);
int_v (SDL_HAT_LEFT);
int_v (SDL_HAT_RIGHTUP);
int_v (SDL_HAT_RIGHTDOWN);
int_v (SDL_HAT_LEFTUP);
int_v (SDL_HAT_LEFTDOWN);
/* Game controller */
int_v (SDL_CONTROLLER_BINDTYPE_NONE);
int_v (SDL_CONTROLLER_BINDTYPE_BUTTON);
int_v (SDL_CONTROLLER_BINDTYPE_AXIS);
int_v (SDL_CONTROLLER_BINDTYPE_HAT);
int_v (SDL_CONTROLLER_AXIS_INVALID);
int_v (SDL_CONTROLLER_AXIS_LEFTX);
int_v (SDL_CONTROLLER_AXIS_LEFTY);
int_v (SDL_CONTROLLER_AXIS_RIGHTX);
int_v (SDL_CONTROLLER_AXIS_RIGHTY);
int_v (SDL_CONTROLLER_AXIS_TRIGGERLEFT);
int_v (SDL_CONTROLLER_AXIS_TRIGGERRIGHT);
int_v (SDL_CONTROLLER_AXIS_MAX);
int_v (SDL_CONTROLLER_BUTTON_INVALID);
int_v (SDL_CONTROLLER_BUTTON_A);
int_v (SDL_CONTROLLER_BUTTON_B);
int_v (SDL_CONTROLLER_BUTTON_X);
int_v (SDL_CONTROLLER_BUTTON_Y);
int_v (SDL_CONTROLLER_BUTTON_BACK);
int_v (SDL_CONTROLLER_BUTTON_GUIDE);
int_v (SDL_CONTROLLER_BUTTON_START);
int_v (SDL_CONTROLLER_BUTTON_LEFTSTICK);
int_v (SDL_CONTROLLER_BUTTON_RIGHTSTICK);
int_v (SDL_CONTROLLER_BUTTON_LEFTSHOULDER);
int_v (SDL_CONTROLLER_BUTTON_RIGHTSHOULDER);
int_v (SDL_CONTROLLER_BUTTON_DPAD_UP);
int_v (SDL_CONTROLLER_BUTTON_DPAD_DOWN);
int_v (SDL_CONTROLLER_BUTTON_DPAD_LEFT);
int_v (SDL_CONTROLLER_BUTTON_DPAD_RIGHT);
int_v (SDL_CONTROLLER_BUTTON_MAX);
assert (sizeof(SDL_GameControllerButtonBind) == 12);
/* Event */
int_v (SDL_QUERY);
int_v (SDL_DISABLE);
int_v (SDL_ENABLE);
int_v (SDL_PRESSED);
int_v (SDL_RELEASED);
int_v (SDL_FIRSTEVENT);
int_v (SDL_QUIT);
int_v (SDL_APP_TERMINATING);
int_v (SDL_APP_LOWMEMORY);
int_v (SDL_APP_WILLENTERBACKGROUND);
int_v (SDL_APP_DIDENTERBACKGROUND);
int_v (SDL_APP_WILLENTERFOREGROUND);
int_v (SDL_APP_DIDENTERFOREGROUND);
int_v (SDL_WINDOWEVENT);
int_v (SDL_SYSWMEVENT);
int_v (SDL_KEYDOWN);
int_v (SDL_KEYUP);
int_v (SDL_TEXTEDITING);
int_v (SDL_TEXTINPUT);
int_v (SDL_MOUSEMOTION);
int_v (SDL_MOUSEBUTTONDOWN);
int_v (SDL_MOUSEBUTTONUP);
int_v (SDL_MOUSEWHEEL);
int_v (SDL_JOYAXISMOTION);
int_v (SDL_JOYBALLMOTION);
int_v (SDL_JOYHATMOTION);
int_v (SDL_JOYBUTTONDOWN);
int_v (SDL_JOYBUTTONUP);
int_v (SDL_JOYDEVICEADDED);
int_v (SDL_JOYDEVICEREMOVED);
int_v (SDL_CONTROLLERAXISMOTION);
int_v (SDL_CONTROLLERBUTTONDOWN);
int_v (SDL_CONTROLLERBUTTONUP);
int_v (SDL_CONTROLLERDEVICEADDED);
int_v (SDL_CONTROLLERDEVICEREMOVED);
int_v (SDL_CONTROLLERDEVICEREMAPPED);
int_v (SDL_FINGERDOWN);
int_v (SDL_FINGERUP);
int_v (SDL_FINGERMOTION);
int_v (SDL_DOLLARGESTURE);
int_v (SDL_DOLLARRECORD);
int_v (SDL_MULTIGESTURE);
int_v (SDL_CLIPBOARDUPDATE);
int_v (SDL_DROPFILE);
int_v (SDL_USEREVENT);
int_v (SDL_LASTEVENT);
int tsdl_sdl_event_size = sizeof (SDL_Event);
int_v (tsdl_sdl_event_size);
int_v (SDL_TEXTEDITINGEVENT_TEXT_SIZE);
int_v (SDL_TEXTINPUTEVENT_TEXT_SIZE);
/* SDL_WindowEventID */
int_v (SDL_WINDOWEVENT_SHOWN);
int_v (SDL_WINDOWEVENT_HIDDEN);
int_v (SDL_WINDOWEVENT_EXPOSED);
int_v (SDL_WINDOWEVENT_MOVED);
int_v (SDL_WINDOWEVENT_RESIZED);
int_v (SDL_WINDOWEVENT_SIZE_CHANGED);
int_v (SDL_WINDOWEVENT_MINIMIZED);
int_v (SDL_WINDOWEVENT_MAXIMIZED);
int_v (SDL_WINDOWEVENT_RESTORED);
int_v (SDL_WINDOWEVENT_ENTER);
int_v (SDL_WINDOWEVENT_LEAVE);
int_v (SDL_WINDOWEVENT_FOCUS_GAINED);
int_v (SDL_WINDOWEVENT_FOCUS_LOST);
int_v (SDL_WINDOWEVENT_CLOSE);
/* Haptic */
assert (SDL_HAPTIC_INFINITY == 4294967295U);
int_v (SDL_HAPTIC_CONSTANT);
int_v (SDL_HAPTIC_SINE);
int_v (SDL_HAPTIC_LEFTRIGHT);
int_v (SDL_HAPTIC_TRIANGLE);
int_v (SDL_HAPTIC_SAWTOOTHUP);
int_v (SDL_HAPTIC_SAWTOOTHDOWN);
int_v (SDL_HAPTIC_RAMP);
int_v (SDL_HAPTIC_SPRING);
int_v (SDL_HAPTIC_DAMPER);
int_v (SDL_HAPTIC_INERTIA);
int_v (SDL_HAPTIC_FRICTION);
int_v (SDL_HAPTIC_CUSTOM);
int_v (SDL_HAPTIC_GAIN);
int_v (SDL_HAPTIC_AUTOCENTER);
int_v (SDL_HAPTIC_STATUS);
int_v (SDL_HAPTIC_PAUSE);
int_v (SDL_HAPTIC_POLAR);
int_v (SDL_HAPTIC_CARTESIAN);
int_v (SDL_HAPTIC_SPHERICAL);
/* Audio */
int_v (SDL_AUDIO_STOPPED);
int_v (SDL_AUDIO_PLAYING);
int_v (SDL_AUDIO_PAUSED);
assert (sizeof (SDL_AudioFormat) == 2);
int_v (AUDIO_S8);
int_v (AUDIO_U8);
int_v (AUDIO_S16LSB);
int_v (AUDIO_S16MSB);
int_v (AUDIO_S16SYS);
int_v (AUDIO_S16);
int_v (AUDIO_S16LSB);
int_v (AUDIO_U16LSB);
int_v (AUDIO_U16MSB);
int_v (AUDIO_U16SYS);
int_v (AUDIO_U16);
int_v (AUDIO_U16LSB);
int_v (AUDIO_S32LSB);
int_v (AUDIO_S32MSB);
int_v (AUDIO_S32SYS);
int_v (AUDIO_S32);
int_v (AUDIO_S32LSB);
int_v (AUDIO_F32LSB);
int_v (AUDIO_F32MSB);
int_v (AUDIO_F32SYS);
int_v (AUDIO_F32);
int_v (SDL_AUDIO_ALLOW_FREQUENCY_CHANGE);
int_v (SDL_AUDIO_ALLOW_FORMAT_CHANGE);
int_v (SDL_AUDIO_ALLOW_CHANNELS_CHANGE);
int_v (SDL_AUDIO_ALLOW_ANY_CHANGE);
/* Power management */
int_v (SDL_POWERSTATE_UNKNOWN);
int_v (SDL_POWERSTATE_ON_BATTERY);
int_v (SDL_POWERSTATE_NO_BATTERY);
int_v (SDL_POWERSTATE_CHARGING);
int_v (SDL_POWERSTATE_CHARGED);
}
// linear form
scalar linear_form(RealFunction* fv, RefMap* rv)
{
return CONST_F*int_v(fv, rv);
}
