potion_rand_double  183 core/mt19937ar.c   return PN_NUM(potion_rand_double());
potion_rand_double  688 core/potion.h  double potion_rand_double();