#include <windows.h>
#include <VersionHelpers.h>
#include <stdio.h>
#include "debug.h"

void win32_print_version(void);

void win32_print_version(void)
{
  char *verStr;
  unsigned int Version = 0;
  unsigned int Build = 0;

  Version = GetVersion();
  if (Version < 0x80000000)
    Build = (DWORD) (HIWORD(Version));

  if (IsWindows10OrGreater())
  {
    if (Build < 22000)
    {
      verStr = strdup("Windows 10");
    }
    else
    {
      verStr = strdup("Windows 11");
    }
  }
  else if (IsWindows8Point1OrGreater())
  {
    verStr = strdup("Windows 8.1");
  }
  else if (IsWindows8OrGreater())
  {
    verStr = strdup("Windows 8");
  }
  else if (IsWindows7SP1OrGreater())
  {
    verStr = strdup("Windows 7 Service Pack 1");
  }
  else if (IsWindows7OrGreater())
  {
    verStr = strdup("Windows 7");
  }
  else if (IsWindowsVistaSP2OrGreater())
  {
    verStr = strdup("Windows Vista Service Pack 2");
  }
  else if (IsWindowsVistaSP1OrGreater())
  {
    verStr = strdup("Windows Vista Service Pack 1");
  }
  else if (IsWindowsVistaOrGreater())
  {
    verStr = strdup("Windows Vista");
  }
  else
  {
    verStr = strdup("unknown");
  }

  printf("Microsoft %s", verStr);

  if (IsWindowsServer())
  {
    printf(" Server");
  }

  if (Version < 0x80000000)
  {
    printf(" (Build %d)\n", Build);
  }
}