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

//void print_string(char const* s) {

void print_string_evil(char* s) {
    for(int i = 0; s[i] != '\0'; i++) {
        fputc(s[i], stdout);

        // Do some EVIL!!! .. and allow it.
        s[i] = '0';  // not allowed

        // const would have protected this.
    }
    fputc('\n', stdout);
}

int main(int argc, char* argv[]) {
    char s[] = "ABC"; // declare s on the stack (in main(…) stack frame and intialize)
    print_string_evil(s);
    print_string_evil(s);
    return EXIT_SUCCESS;
}
/* vim: set tabstop=4 shiftwidth=4 fileencoding=utf-8 noexpandtab: */