GetSystemInfo (struct WapiSystemInfo * info)
{
  int D.9446;
  unsigned int D.9447;
  long int D.9448;
  unsigned int D.9449;
  unsigned int D.9450;

  D.9446 = getpagesize ();
  D.9447 = (unsigned int) D.9446;
  info->dwPageSize = D.9447;
  D.9448 = sysconf (84);
  D.9449 = (unsigned int) D.9448;
  info->dwNumberOfProcessors = D.9449;
  D.9450 = info->dwNumberOfProcessors;
  if (D.9450 == 0) goto <D.9451>; else goto <D.9452>;
  <D.9451>:
  info->dwNumberOfProcessors = 1;
  <D.9452>:
}