/* * core/utils.h */ int seed_my_rand(int foo); int random1000(int type); double dtime(void);