stub.h

#ifndef __SYSTEM_STUB_HEADER_FILE__
  #define __SYSTEM_STUB_HEADER_FILE__


void *memset(void *s, int c, size_t n);

/* random.c */
struct random_data
  {
    int32_t *fptr;              /* Front pointer.  */
    int32_t *rptr;              /* Rear pointer.  */
    int32_t *state;             /* Array of state values.  */
    int rand_type;              /* Type of random number generator.  */
    int rand_deg;               /* Degree of random number generator.  */
    int rand_sep;               /* Distance between front and rear.  */
    int32_t *end_ptr;           /* Pointer behind state table.  */
  };

#ifndef RAND_MAX
    #define RAND_MAX 32767
#endif

void srand(unsigned int seed);
int rand(void);
void srand2(unsigned int seed);
int rand2(void);

#endif /* __SYSTEM_STUB_HEADER_FILE__ */