/* BFC03494 */ int strlen(char *s) { int len = 0; char c; if(s == NULL) return 0; c = *s++; if(c == '\0') return 0; do { c = *s++; len++; } while(c != '\0'); return len; }