A stub implementation providing the Mirage_random.C interface for testing - View it on GitHub