#ifndef CPUTIME_H #define CPUTIME_H extern void cputime_reset(void); extern double cputime_get(void); #endif /* CPUTIME_H */