#include <stdio.h>
#include <stdlib.h>
#include <stdbool.h>
#include <assert.h>

size_t strlen(char const* s) {
    size_t num_chars = 0;
    for(; s[num_chars] != '\0'; num_chars++) { }
}

int main(int argc, char* argv[]) {

    // BAD WAY
    char s[3];
    s[0] = 'a';
    s[1] = 'b';
    // OOPS... forgot to initialize the last byte with '\0'.
    
    size_t length_of_s = strlen(s);  // Conditional jump based on uninitialized value
    
    return EXIT_SUCCESS;
}
/* vim: set tabstop=4 shiftwidth=4 fileencoding=utf-8 noexpandtab: */