The dbgclock_t typedef is an unfortunate workaround for comptability purposes. One (unnamed) popular compiler platform supplies a <ctime> header file, but this header does NOT place the contents into the std namespace.
This typedef is the most elegant work around for that problem. It is conditionally set to the appropriate clock_t definition.
In an ideal world this would not exist.
This is the version for sane, standards-compliant platforms.