Definition at line 1720 of file random.c.
Definition at line 1721 of file random.c.
Definition at line 1722 of file random.c.