mrand48
long mrand48(void);
xid = mrand48();
long mrand48 __P((void));
return (u_int32_t) mrand48();
data = (int)mrand48();
extern long mrand48(void);
EXPORT0(long, mrand48, _mrand48_u)