/* Write a single byte to the text display.  */
int RETARGET_WriteChar(char c)
/* Write a single byte to the text display.  */
int RETARGET_WriteChar(char c)
{
  if (textDisplayHandle)
  {
    TEXTDISPLAY_WriteChar(textDisplayHandle, c);
    return c;
  }
  else
    return -1;
}