Otherwise timing programs fail to compile.
//#include <cln/modinteger.h>
//#include <cln/numtheory.h>
#include <cln/timing.h>
+using namespace cln;
+#include <iostream>
+using namespace std;
#define DUMP(expr) \
fprint(cout, #expr" = "); fprint(cout, expr); fprint(cout, "\n");
#include <cstdlib>
#include <cstring>
#include <cln/timing.h>
+#include <iostream>
using namespace cln;
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstring>
#include <cln/timing.h>
using namespace cln;
+#include <iostream>
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstring>
#include <cln/timing.h>
using namespace cln;
+#include <iostream>
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstring>
#include <cln/timing.h>
using namespace cln;
+#include <iostream>
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstring>
#include <cln/timing.h>
using namespace cln;
+#include <iostream>
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstdlib>
#include <cstring>
#include <cln/timing.h>
+using namespace cln;
+#include <iostream>
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstdlib>
#include <cstring>
#include <cln/timing.h>
+using namespace cln;
+#include <iostream>
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstring>
#include <cln/timing.h>
using namespace cln;
+#include <iostream>
+using namespace std;
+
int main (int argc, char * argv[])
{
#include <cstring>
#include <cln/timing.h>
using namespace cln;
+#include <iostream>
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstdlib>
#include <cstring>
#include <cln/timing.h>
+#include <iostream>
using namespace cln;
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstring>
#include <cln/timing.h>
using namespace cln;
+#include <iostream>
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstdlib>
#include <cstring>
#include <cln/timing.h>
+#include <iostream>
using namespace cln;
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstdlib>
#include <cstring>
#include <cln/timing.h>
+#include <iostream>
using namespace cln;
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstring>
#include <cln/timing.h>
using namespace cln;
+#include <iostream>
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstring>
#include <cln/timing.h>
#include "float/lfloat/cl_LF.h"
+#include <iostream>
using namespace cln;
+using namespace std;
int main (int argc, char * argv[])
{
#include <cstring>
#include <cln/timing.h>
using namespace cln;
+#include <iostream>
+using namespace std;
int main (int argc, char * argv[])
{
#include <cln/timing.h>
#include "float/lfloat/cl_LF.h"
using namespace cln;
+#include <iostream>
+using namespace std;
int main (int argc, char * argv[])
{