#include <ctime>

extern "C" {
double second_();
}

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