/* Return a random integer between 0 and RAND_MAX. */ int rand (void) { return (int) __random (); }
/* Return a random integer between 0 and RAND_MAX. */ int DEFUN_VOID(rand) { return (int) __random(); }