DD2-monitor/funcs.h

/*
 * funcs.c
 */

int random1000(int mode);
double dtime(void);