2 * Copyright (c) 2001,2004 David H. Hovemeyer <daveho@cs.umd.edu>
3 * (c) 2008, Jack Lange <jarusl@cs.northwestern.edu>
4 * (c) 2008, Lei Xia <xiaxlei@gmail.com>
5 * (c) 2008, The V3VEE Project <http://www.v3vee.org>
8 * This is free software. You are permitted to use,
9 * redistribute, and modify it as specified in the file "COPYING".
19 void* memset(void* s, int c, size_t n);
20 void* memcpy(void *dst, const void* src, size_t n);
21 //void *memmove(void *dst, const void *src, size_t n);
22 int memcmp(const void *s1, const void *s2, size_t n);
23 size_t strlen(const char* s);
24 size_t strnlen(const char *s, size_t maxlen);
25 int strcmp(const char* s1, const char* s2);
26 int strncmp(const char* s1, const char* s2, size_t limit);
27 char *strcat(char *s1, const char *s2);
28 char *strcpy(char *dest, const char *src);
29 char *strncpy(char *dest, const char *src, size_t limit);
30 char *strdup(const char *s1);
31 int atoi(const char *buf);
32 char *strchr(const char *s, int c);
33 char *strrchr(const char *s, int c);
34 char *strpbrk(const char *s, const char *accept);
37 double ceil(double x);