Definition at line 1413 of file random.c.
Definition at line 1414 of file random.c.
Definition at line 1415 of file random.c.