GetSystemInfo (struct WapiSystemInfo * info)
{
  int D.11532;
  unsigned int D.11533;
  long int D.11534;
  unsigned int D.11535;
  unsigned int D.11536;

  D.11532 = getpagesize ();
  D.11533 = (unsigned int) D.11532;
  info->dwPageSize = D.11533;
  D.11534 = sysconf (84);
  D.11535 = (unsigned int) D.11534;
  info->dwNumberOfProcessors = D.11535;
  D.11536 = info->dwNumberOfProcessors;
  if (D.11536 == 0) goto <D.11537>; else goto <D.11538>;
  <D.11537>:
  info->dwNumberOfProcessors = 1;
  <D.11538>:
}