DeviceInputToTranslatedString will try DeviceButtonToChar; but we just tried that; it then uses DeviceButtonToString. use DeviceButtonToString directly
DeviceInputToTranslatedString will try DeviceButtonToChar; but we just tried that; it then uses DeviceButtonToString. use DeviceButtonToString directly