fprintf(stderr, "p%d <- (0x%x, 0x%x, 0x%x)\n", n, col.red, col.green, col.blue);
static void real_palette_set(Session *s, int n, int r, int g, int b){    RGBColor col;    if (!HAVE_COLOR_QD())	return;    col.red   = r * 0x0101;    col.green = g * 0x0101;    col.blue  = b * 0x0101;    fprintf(stderr, "p%d <- (0x%x, 0x%x, 0x%x)\n", n, col.red, col.green,	    col.blue);    SetEntryColor(s->palette, n, &col);}