1 #include <stdio.h>
2 
3 class Timer {
4 private:
5 	void *storage;
6 public:
7 	Timer();
8 	~Timer();
9 	void print_elapsed(FILE *f);
10 };
11