1 // ----------------------------------------------------------------------------
3 // ----------------------------------------------------------------------------
10 /* helper functions for constructs not supported by C */
14 return random_linux_libc(RANDOM_SIMPLE);