int strlen(const char[]); # en C Devuelve el nº de caracteres sin contar el '\0'