Definition at line 1476 of file random.c.
Definition at line 1477 of file random.c.
Definition at line 1478 of file random.c.