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