rem: if (sKeyboardDetected) { kDevices[1] = DEVICE_KEYBOARD_NAME; kDevices[2] = NULL; } else kDevices[1] = NULL;
add: if (sMouseDetected) kDevices[index++] = DEVICE_MOUSE_NAME;  if (sKeyboardDetected) kDevices[index++] = DEVICE_KEYBOARD_NAME;  kDevices[index++] = NULL;
context: publish_devices(void){	static char *kDevices[3];		kDevices[0] = DEVICE_MOUSE_NAME;	if (sKeyboardDetected) {		kDevices[1] = DEVICE_KEYBOARD_NAME;		kDevices[2] = NULL;	} else		kDevices[1] = NULL;	return (const char **)kDevices;}