The new code is in proxy1.cc