void srandom (unsigned int);
char *initstate (unsigned int, char *, size_t);
char *setstate (char *);
void srandom (unsigned int);
char *initstate (unsigned int, char *, size_t);
char *setstate (char *);
void *valloc (size_t);
void *memalign(size_t, size_t);
int getloadavg(double *, int);
void *valloc (size_t);
void *memalign(size_t, size_t);
int getloadavg(double *, int);
int ptsname_r(int, char *, size_t);
char *ecvt(double, int, int *, int *);
char *fcvt(double, int, int *, int *);
int ptsname_r(int, char *, size_t);
char *ecvt(double, int, int *, int *);
char *fcvt(double, int, int *, int *);