/* Auto generated GreenCard 2 code for FFI */
#include <windows.h>
#include "win32debug.h"
#include "errors.h"
#include "Win32Key_stub_ffi.h"
DWORD prim_vK_LBUTTON()
{ DWORD res1;
  do {res1=VK_LBUTTON;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_RBUTTON()
{ DWORD res1;
  do {res1=VK_RBUTTON;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_CANCEL()
{ DWORD res1;
  do {res1=VK_CANCEL;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_MBUTTON()
{ DWORD res1;
  do {res1=VK_MBUTTON;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_BACK()
{ DWORD res1;
  do {res1=VK_BACK;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_TAB()
{ DWORD res1;
  do {res1=VK_TAB;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_CLEAR()
{ DWORD res1;
  do {res1=VK_CLEAR;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_RETURN()
{ DWORD res1;
  do {res1=VK_RETURN;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_SHIFT()
{ DWORD res1;
  do {res1=VK_SHIFT;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_CONTROL()
{ DWORD res1;
  do {res1=VK_CONTROL;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_MENU()
{ DWORD res1;
  do {res1=VK_MENU;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_PAUSE()
{ DWORD res1;
  do {res1=VK_PAUSE;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_CAPITAL()
{ DWORD res1;
  do {res1=VK_CAPITAL;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_ESCAPE()
{ DWORD res1;
  do {res1=VK_ESCAPE;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_SPACE()
{ DWORD res1;
  do {res1=VK_SPACE;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_PRIOR()
{ DWORD res1;
  do {res1=VK_PRIOR;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_NEXT()
{ DWORD res1;
  do {res1=VK_NEXT;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_END()
{ DWORD res1;
  do {res1=VK_END;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_HOME()
{ DWORD res1;
  do {res1=VK_HOME;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_LEFT()
{ DWORD res1;
  do {res1=VK_LEFT;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_UP()
{ DWORD res1;
  do {res1=VK_UP;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_RIGHT()
{ DWORD res1;
  do {res1=VK_RIGHT;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_DOWN()
{ DWORD res1;
  do {res1=VK_DOWN;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_SELECT()
{ DWORD res1;
  do {res1=VK_SELECT;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_EXECUTE()
{ DWORD res1;
  do {res1=VK_EXECUTE;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_SNAPSHOT()
{ DWORD res1;
  do {res1=VK_SNAPSHOT;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_INSERT()
{ DWORD res1;
  do {res1=VK_INSERT;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_DELETE()
{ DWORD res1;
  do {res1=VK_DELETE;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_HELP()
{ DWORD res1;
  do {res1=VK_HELP;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_NUMPAD0()
{ DWORD res1;
  do {res1=VK_NUMPAD0;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_NUMPAD1()
{ DWORD res1;
  do {res1=VK_NUMPAD1;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_NUMPAD2()
{ DWORD res1;
  do {res1=VK_NUMPAD2;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_NUMPAD3()
{ DWORD res1;
  do {res1=VK_NUMPAD3;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_NUMPAD4()
{ DWORD res1;
  do {res1=VK_NUMPAD4;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_NUMPAD5()
{ DWORD res1;
  do {res1=VK_NUMPAD5;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_NUMPAD6()
{ DWORD res1;
  do {res1=VK_NUMPAD6;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_NUMPAD7()
{ DWORD res1;
  do {res1=VK_NUMPAD7;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_NUMPAD8()
{ DWORD res1;
  do {res1=VK_NUMPAD8;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_NUMPAD9()
{ DWORD res1;
  do {res1=VK_NUMPAD9;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_MULTIPLY()
{ DWORD res1;
  do {res1=VK_MULTIPLY;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_ADD()
{ DWORD res1;
  do {res1=VK_ADD;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_SEPARATOR()
{ DWORD res1;
  do {res1=VK_SEPARATOR;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_SUBTRACT()
{ DWORD res1;
  do {res1=VK_SUBTRACT;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_DECIMAL()
{ DWORD res1;
  do {res1=VK_DECIMAL;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_DIVIDE()
{ DWORD res1;
  do {res1=VK_DIVIDE;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F1()
{ DWORD res1;
  do {res1=VK_F1;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F2()
{ DWORD res1;
  do {res1=VK_F2;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F3()
{ DWORD res1;
  do {res1=VK_F3;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F4()
{ DWORD res1;
  do {res1=VK_F4;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F5()
{ DWORD res1;
  do {res1=VK_F5;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F6()
{ DWORD res1;
  do {res1=VK_F6;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F7()
{ DWORD res1;
  do {res1=VK_F7;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F8()
{ DWORD res1;
  do {res1=VK_F8;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F9()
{ DWORD res1;
  do {res1=VK_F9;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F10()
{ DWORD res1;
  do {res1=VK_F10;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F11()
{ DWORD res1;
  do {res1=VK_F11;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F12()
{ DWORD res1;
  do {res1=VK_F12;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F13()
{ DWORD res1;
  do {res1=VK_F13;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F14()
{ DWORD res1;
  do {res1=VK_F14;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F15()
{ DWORD res1;
  do {res1=VK_F15;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F16()
{ DWORD res1;
  do {res1=VK_F16;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F17()
{ DWORD res1;
  do {res1=VK_F17;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F18()
{ DWORD res1;
  do {res1=VK_F18;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F19()
{ DWORD res1;
  do {res1=VK_F19;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F20()
{ DWORD res1;
  do {res1=VK_F20;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F21()
{ DWORD res1;
  do {res1=VK_F21;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F22()
{ DWORD res1;
  do {res1=VK_F22;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F23()
{ DWORD res1;
  do {res1=VK_F23;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_F24()
{ DWORD res1;
  do {res1=VK_F24;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_NUMLOCK()
{ DWORD res1;
  do {res1=VK_NUMLOCK;
      
      return((DWORD)(res1));} while(0);
}
DWORD prim_vK_SCROLL()
{ DWORD res1;
  do {res1=VK_SCROLL;
      
      return((DWORD)(res1));} while(0);
}
int prim_enableWindow(HWND arg1,int arg2)
{ int res1;
  do {res1 = EnableWindow(arg1, arg2);
      
      return((int)(res1));} while(0);
}
HWND prim_getActiveWindow()
{ HWND res1;
  do {res1 = GetActiveWindow();
      
      return((HWND)(res1));} while(0);
}
WORD prim_getAsyncKeyState(int arg1)
{ WORD res1;
  do {res1 = GetAsyncKeyState(arg1);
      
      return((WORD)(res1));} while(0);
}
HWND prim_getFocus()
{ HWND res1;
  do {res1 = GetFocus();
      
      return((HWND)(res1));} while(0);
}
UINT prim_getKBCodePage()
{ UINT res1;
  do {res1 = GetKBCodePage();
      
      return((UINT)(res1));} while(0);
}
int prim_isWindowEnabled(HWND arg1)
{ int res1;
  do {res1 = IsWindowEnabled(arg1);
      
      return((int)(res1));} while(0);
}
WORD prim_lOWORD(DWORD arg1)
{ WORD res1;
  do { WORD res1=LOWORD(arg1);
      
      return((WORD)(res1));} while(0);
}
WORD prim_hIWORD(DWORD arg1)
{ WORD res1;
  do { WORD res1=HIWORD(arg1);
      
      return((WORD)(res1));} while(0);
}
