printf ("[%02x]\n", c);
fprintf_unfiltered (gdb_stdlog, "[%02x]\n", c);
get_byte (){  int c = SERIAL_READCHAR (io, timeout);  if (remote_debug)    printf ("[%02x]\n", c);  if (c == SERIAL_TIMEOUT)    {      if (timeout == 0)	return (unsigned char) c;      error ("Timeout reading from remote_system");    }  return c;}