Code

Windows: Implement gettimeofday().