stub.h

#ifndef __SYSTEM_STUB_HEADER_FILE__
  #define __SYSTEM_STUB_HEADER_FILE__


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

/* random.c */
void srand(unsigned int seed);
int rand(void);
void srand2(unsigned int seed);
int rand2(void);

#endif /* __SYSTEM_STUB_HEADER_FILE__ */