external hardware_keycode : t -> int = "ml_GdkEventKey_hardware_keycode"