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

int main(int argc, char* argv[]) {
    char s1[] = "ABC";
    char s2[] = { 'A', 'B', 'C', '\0' };
    printf("s1 == %s\n", s1);
    printf("s2 == %s\n", s2);
    // '\0' is the "null terminator".  It indicates the end of the string.
    // It is just a convention used by C library functions.
    // The ASCII value of '\0' is 0, but you should always write '\0', not 0.
    // The null terminator only matters in memory.  It is not in files.
    // When printing a string, we do not print the '\0' because it is only in memory.


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