Definitions:

Modules:

Random: