* This file defined random number generator function in vlc
*/
-VLC_EXPORT( void, vlc_rand_bytes, (void *buf, size_t len) );
+VLC_API void vlc_rand_bytes(void *buf, size_t len);
+
+/* Interlocked (but not reproducible) functions for the POSIX PRNG */
+VLC_API double vlc_drand48(void) VLC_USED;
+VLC_API long vlc_lrand48(void) VLC_USED;
+VLC_API long vlc_mrand48(void) VLC_USED;
#endif