Using the library functions of Aivika itself for random numbers, for example, which allows customizing the random number generator.