GetSystemInfo (struct WapiSystemInfo * info)
{
  int D.8920;
  unsigned int D.8921;
  long int D.8922;
  unsigned int D.8923;
  unsigned int D.8924;

  D.8920 = getpagesize ();
  D.8921 = (unsigned int) D.8920;
  info->dwPageSize = D.8921;
  D.8922 = sysconf (84);
  D.8923 = (unsigned int) D.8922;
  info->dwNumberOfProcessors = D.8923;
  D.8924 = info->dwNumberOfProcessors;
  if (D.8924 == 0) goto <D.8925>; else goto <D.8926>;
  <D.8925>:
  info->dwNumberOfProcessors = 1;
  <D.8926>:
}