size_t strlen(const char *s);
char* strcpy(char * restrict dst, const char * restrict src);
void* memmove(void *dst, const void *src, size_t len);
void* memset(void *s, int c, size_t n);
int getrelease();