GetSystemInfo (struct WapiSystemInfo * info)
{
  int D.8948;
  unsigned int D.8949;
  long int D.8950;
  unsigned int D.8951;
  unsigned int D.8952;

  D.8948 = getpagesize ();
  D.8949 = (unsigned int) D.8948;
  info->dwPageSize = D.8949;
  D.8950 = sysconf (84);
  D.8951 = (unsigned int) D.8950;
  info->dwNumberOfProcessors = D.8951;
  D.8952 = info->dwNumberOfProcessors;
  if (D.8952 == 0) goto <D.8953>; else goto <D.8954>;
  <D.8953>:
  info->dwNumberOfProcessors = 1;
  <D.8954>:
}