unsigned int strlen(char* str);
char* strcat(char* buf, char* str);