extern void Float_ParseIEEE(int *, int *);
extern void Float_Add(int *, int *, int *);
extern int Float_FromIEEE754(void);
int Float_Multiply4(int a, int b, int c, int d)
{
  int buf[19];
  buf[15] = a;
  buf[16] = b;
  buf[17] = c;
  buf[18] = d;
  Float_ParseIEEE(&buf[15], buf);
  Float_ParseIEEE(&buf[17], &buf[5]);
  Float_Add(buf, &buf[5], &buf[10]);
  return Float_FromIEEE754();
}