fprintf (stderr, "IEEE unsupported float type size %u\n", size);
fprintf (stderr, _("IEEE unsupported float type size %u\n"), size);
ieee_float_type (p, size)     PTR p;     unsigned int size;{  struct ieee_handle *info = (struct ieee_handle *) p;  unsigned int indx;  switch (size)    {    case 4:      indx = (int) builtin_float;      break;    case 8:      indx = (int) builtin_double;      break;    case 12:      /* FIXME: This size really depends upon the processor.  */      indx = (int) builtin_long_double;      break;    case 16:      indx = (int) builtin_long_long_double;      break;    default:      fprintf (stderr, "IEEE unsupported float type size %u\n", size);      return false;    }  return ieee_push_type (info, indx, size, false, false);}