19 idx = (uint32_t) (*xidx);
28 uint32_t idx = (uint32_t)
chkarg(1, 0., 4294967295.);
double chkarg(int, double low, double high)
double * hoc_pgetarg(int narg)
double mcell_ran4a(uint32_t *high)
void mcell_ran4_init(uint32_t low)
void set_use_mcran4(bool value)