#include <stddef.h>
size_t strlen(const char*);
void* memset(void*, int, size_t);
void* memcpy(void*, void*, size_t);
char* strdup(const char*);