[Function] strlen(char s[]): return length of s

/* strlen: return length of s */ int strlen(char s[]) { int i; i = 0; while (s[i++] != '\0') { ; } return i; }