add varargs to print() and println() (#2056)