#include <stdio.h>

extern char
	*strcpy(char *, const char *),
	*strcat(char *, const char *),
	*strchr(const char *, int);
extern int
	strcmp(const char *, const char *);//,
	//strlen(const char *);	// marked by tyhuang, redefined by the c-library
extern void
	*memcpy(void *, const void *, size_t),
	*memmove(void *, const void *, size_t);
extern int
	memcmp(const void *, const void *, size_t);