4 ** based on red-cross:/usr/include/stdlib.h
5 ** also includes misc functions from man bcopy
9 typedef unsigned int size_t;
10 typedef unsigned int wchar_t;
13 int quot; /* quotient */
14 int rem; /* remainder */
15 } div_t; /* result of div() */
18 long quot; /* quotient */
19 long rem; /* remainder */
20 } ldiv_t; /* result of ldiv() */
22 constant null void *NULL; /* should be constant */
24 constant int EXIT_FAILURE, EXIT_SUCCESS;
25 constant long RAND_MAX;
27 constant int MB_CUR_MAX;
36 ensures result = abs(i);
39 int atexit (void (*f)())
44 double atof (char *nptr)
46 ensures true ; /* sprintf(result) = nptr^ ? */
54 long atol (char *nptr)
59 void *bsearch (void *key, void *base, size_t nel, size_t size,
60 int (*compar)(void *, void *))
65 void *calloc (size_t nelem, size_t size)
70 div_t div (int numer, int denom)
83 ensures true; /* trashed(ptr); */
86 char *getenv (char *name)
96 ldiv_t ldiv (long numer, long denum)
101 void *malloc (size_t size)
106 int mblen (char *s, size_t n)
111 size_t mbstowcs ( wchar_t *pwcs, char *s, size_t n)
117 int mbtowc (wchar_t *pwc, char *s, size_t n)
123 void qsort (void *base, size_t nel, size_t width,
124 int (*compar)(void *, void *))
135 void *realloc(void *ptr, size_t size)
140 void srand (unsigned int seed)
145 double strtod (char *nptr, char **eptr)
151 long strtol (char *nptr, char **eptr, int base)
157 unsigned long strtoul (char *nptr, char **eptr, int base)
163 int system (char *string)
168 size_t wcstombs (char *s, wchar_t *pwcs, size_t n)
174 int wctomb (char *s, wchar_t wchar)
181 ** not part of stdlib.h, but built in to c?
184 void bcopy (char *b1, char *b2, int length)
190 | bool : int | bcmp (char *b1, char *b2, int length)
195 void bzero (char *b1, int length)
206 void *memccpy (void *s1, void *s2, int c, size_t n)
212 void *memchr (void *s, int c, size_t n)
217 | bool : int | memcmp (void *s1, void *s2, size_t n)
222 void *memcpy (void *s1, void *s2, size_t n)
228 void *memset (void *s, int c, size_t n)
234 void *memmove (void *s1, void *s2, size_t n)