the "line" variable serves as a format string and violates the expected MUTABILITY
property that "the first argument to printf is immutable."
For the filename to be accessed, there are at least two assumptions of validity when the
fopen() is invoked in line 6: