sig class printer : extensible_printer_type end