rem: kDevices[0] = DEVICE_MOUSE_NAME;
add: int index = 0;
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;}