4.1BSD libc random