+/* TODO: check current modifier status and
+ * send keycode to alter, if necessary
+ */
+ Accessibility_DeviceEventController device_event_controller =
+ Accessibility_Registry_getDeviceEventController (registry, &ev);
+ Accessibility_DeviceEventController_generateKeyEvent (device_event_controller,
+ keyval,
+ (unsigned long) type,
+ &ev);