GetSystemInfo (struct WapiSystemInfo * info)
{
  int D.9784;
  unsigned int D.9785;
  long int D.9786;
  unsigned int D.9787;
  unsigned int D.9788;

  D.9784 = getpagesize ();
  D.9785 = (unsigned int) D.9784;
  info->dwPageSize = D.9785;
  D.9786 = sysconf (84);
  D.9787 = (unsigned int) D.9786;
  info->dwNumberOfProcessors = D.9787;
  D.9788 = info->dwNumberOfProcessors;
  if (D.9788 == 0) goto <D.9789>; else goto <D.9790>;
  <D.9789>:
  info->dwNumberOfProcessors = 1;
  <D.9790>:
}


