A demonstration of side effects w.r.t FILE* vs. char*