Definition at line 1693 of file random.c.
Definition at line 1694 of file random.c.
Definition at line 1695 of file random.c.