Definition at line 1417 of file random.c.
Definition at line 1418 of file random.c.
Definition at line 1419 of file random.c.