#ifdef _GLFW_WIN32 #include "glfw/src/win32_time.c" #endif