__underlying_strlen
return __underlying_strlen(p);
extern __kernel_size_t __underlying_strlen(const char *p) __RENAME(strlen);