Old RCS, 2010-02-25 00:34 UTC: Rename FILE * arg to print_raw_data, for consistency with other code.