rts/Printer.h: fix constness of argument declaration