/* Gets the name of a Haptic device by index.  */
const char* SDL_HapticName(int device_index)
/* Gets the name of a Haptic device by index.  */
const char* SDL_HapticName(int device_index)
{
    if ((device_index < 0) || (device_index >= SDL_NumHaptics())) {
        SDL_SetError("Haptic: There are %d haptic devices available",
                     SDL_NumHaptics());
        return NULL;
    }
    return SDL_SYS_HapticName(device_index);
}