/* Original teaching source. Not compiled. Not traced. */
#include <stdio.h>

int main(void) {
    FILE *note;

    note = fopen("note.txt", "r");
    if (note == 0) {
        return 1;
    }
    fclose(note);
    return 0;
}