size_t strlen(const char*);