#include <ctime>

extern "C" {
double dsecnd_();
}

// Elapsed CPU Time in seconds.
double dsecnd_() {
  return static_cast<double>(std::clock()) /
         static_cast<double>(CLOCKS_PER_SEC);
}