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

// This is not a buffer overflow (invalid write).
//
// This will cause a buffer overread because without the '\0', printf(…) will keep
// reading bytes past the end of the space allocated for s.

int main(int argc, char* argv[]) {
    int  a = 5;         // third in memory
    char s[] = "ABC";   // first in memory (lowest memory address)
    int  b = 7;         // second in memory
    printf("a == %d\n", a);
    printf("s == \"%s\"\n", s);
    printf("b == %d\n", b);
    printf("\n");
    
    // TODO:  modify one of the int variables by adding one more line of code.
    s[3] = 'D';
    printf("s[3] = 'D';\n");
    printf("\n");
    printf("a == %d\n", a);
    printf("s == \"%s\"\n", s);
    printf("b == %d\n", b);
    printf("\n");

    return EXIT_SUCCESS;
}
/* vim: set tabstop=4 shiftwidth=4 fileencoding=utf-8 noexpandtab: */