printer_in_binder
PRINT(printer_in_binder(printer, printer_print_function_type));
PRINT(printer_in_binder(printer, printer_print_object_bounds));