#include <ExternalRandomNumberGeneratorService.h>
Description: Interface for obtaining random number engines.
Usage: