head_printer passes extra arguments to print()/cat()