GetSystemInfo (struct WapiSystemInfo * info)
{
  int D.9270;
  unsigned int D.9271;
  long int D.9272;
  unsigned int D.9273;
  unsigned int D.9274;

  D.9270 = getpagesize ();
  D.9271 = (unsigned int) D.9270;
  info->dwPageSize = D.9271;
  D.9272 = sysconf (84);
  D.9273 = (unsigned int) D.9272;
  info->dwNumberOfProcessors = D.9273;
  D.9274 = info->dwNumberOfProcessors;
  if (D.9274 == 0) goto <D.9275>; else goto <D.9276>;
  <D.9275>:
  info->dwNumberOfProcessors = 1;
  <D.9276>:
}