extern void Float_ParseIEEE(int *, int *);
extern void Float_FMA(int *, int *);
void Float_Multiply6(int a, int b, int c, int d)
{
  int buf[14];
  int *tmp;
  buf[10] = a;
  buf[11] = b;
  buf[12] = c;
  buf[13] = d;
  int *tmp;
  Float_ParseIEEE(&buf[10], buf);
  Float_ParseIEEE(&buf[12], tmp = &buf[5]);
  Float_FMA(buf, tmp);
}