Old RCS, 2010-02-25 00:32 UTC: Rename the FILE * argument to print_*_blk, for consistency with most of the rest of the code.