1void memcpy(void *dst, const void *src, unsigned int size);
2void memcpy(void *dst, const void *src, unsigned int size)
3{
4	__builtin_memcpy(dst, src, size);
5}
6
7unsigned int strlen(const char *src);
8unsigned int strlen(const char *src)
9{
10	return __builtin_strlen(src);
11}
12
13/*
14 * check-name: builtin-prototype
15 */
16