#define _XOPEN_SOURCE 500
#define _WIN32_WINNT 0x0600

#include <stdlib.h>
#include <stdio.h>
#include <sys/select.h>
#include <windows.h>
#include <stdint.h>
#include <intrin.h>

int
main()
{
  char buf[50];
  char * str = gcvt (3.141592653589793238462643383279502884197169399375, 49, buf);
  printf ("buffer: %s", str);
  fd_set read_fd;
  FD_ZERO (&read_fd);
  GetTickCount64 ();
  ULONG index;
  uint64_t b = 0xbedabedadeadc0de;
  _BitScanForward64 (&index, b);
  _BitScanReverse64 (&index, b);
  return 0;
}