my_random_init     33 src/main.cpp      my_random_init(); // for opening book
my_random_init     82 src/util.h     extern void   my_random_init        ();