make examples/varargs.py work successfully