Definition at line 1714 of file random.c.
Definition at line 1715 of file random.c.
Definition at line 1716 of file random.c.